Estudio comparativo de tres métodos formales gráficos
| dc.audience | generalPublic | |
| dc.contributor.advisor | Frausto Solís, Juan | |
| dc.contributor.author | Del Valle Diego, Miguel Ángel | |
| dc.contributor.committee | Frausto Solís, Juan | |
| dc.contributor.committee | Cid Monjaraz, Jaime | |
| dc.contributor.committee | Solís Salazar, Juan Manuel | |
| dc.contributor.committee | Amaro Sánchez, Javier | |
| dc.contributor.committee | Porras Sánchez, Fernando | |
| dc.coverage.place | Biblioteca Central 3er. piso | |
| dc.date.accessioned | 2026-06-23T18:41:54Z | |
| dc.date.available | 2026-06-23T18:41:54Z | |
| dc.date.issued | 1997-03 | |
| dc.description.abstract | Actualmente la mayoría de los DER's (Documento de especificación de requerimientos) están escritos en un lenguaje natural. Desafortunadamente el lenguaje natural es intrínsecamente ambiguo, lo cual genera como resultado documentos ambiguos, inconsistentes e incompletos. Por esta razón para lograr una comunicación eficiente y efectiva entre los usuarios, el analista de requerimientos y el desarrollador, se debe definir un lenguaje de especificación de requerimientos adecuados, que sea comprensible tanto para el desarrollador como para el usuario. Los lenguajes de especificación de requerimientos se pueden clasificar en dos clases principales: lenguajes de especificación informal y lenguajes de especificación formal. Los lenguajes de especificación informal, utilizan una combinación de gráficas y gramáticas textuales semiformales para describir y especificar requerimientos de los sistemas. Dadas estas características, estos lenguajes proporcionan un vehículo ideal para obtener los requerimientos del usuario. Los lenguajes de especificación formal, por otro lado, tienen las bases matemáticas y emplean una notación precisa para definir los requerimientos del sistema. El uso de estos lenguajes genera que las especificaciones sean precisas y breves, además de que se pueda evaluar la consistencia y comprobar la completes de la especificación de una forma más adecuada. Estos lenguajes requieren de un conocimiento matemático que normalmente no existe en los usuarios ni en la mayoría de los analistas y diseñadores. El objetivo de este trabajo de tesis es dar a conocer que existe una necesidad de unir un lenguaje de especificación de formal con un informal de modo que se obtenga un sistema formal de especificación de requerimientos. La finalidad de este sistema formal de especificación de requerimientos es que el usuario lo utilice con la amigabilidad de los lenguajes informales, pero con las ventajas de los formales. Así mismo el analista tendría una herramienta de especificación formal que le permita tener una comunicación más efectiva con el equipo de desarrollo. | |
| dc.identifier.bibrecord | LELE1997 D4 E8 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12371/33152 | |
| dc.language.iso | spa | |
| dc.publisher | Benemérita Universidad Autónoma de Puebla | |
| dc.rights.acces | restrictedAccess | |
| dc.subject.lcc | Matemáticas—Instrumentos y máquinas—Máquinas de calcular—Informática—Software—Ingeniería de software | |
| dc.subject.lcc | Informática—Ordenadores digitales—Programación—Diseño del sistema—Métodos formales—Presupuesto—Tecnología—Lenguaje—Redacción técnica | |
| dc.subject.lcc | Comunicación de información técnica—Ordenadores electrónicos | |
| dc.thesis.career | Licenciatura en Ciencias de la Electrónica (aparece lic. en electrónica) | |
| dc.thesis.degreediscipline | Área de Ingeniería y Ciencias Exactas | |
| dc.thesis.degreegrantor | Facultad de Ciencias de la Electrónica | |
| dc.thesis.degreetoobtain | Licenciado (a) en Electrónica | |
| dc.title | Estudio comparativo de tres métodos formales gráficos | |
| dc.type | Tesis de licenciatura | |
| dc.type.degree | Licenciatura |