Frausto Solís, JuanDel Valle Diego, Miguel Ángel2026-06-232026-06-231997-03https://hdl.handle.net/20.500.12371/33152Actualmente 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.spaMatemáticas—Instrumentos y máquinas—Máquinas de calcular—Informática—Software—Ingeniería de softwareInformática—Ordenadores digitales—Programación—Diseño del sistema—Métodos formales—Presupuesto—Tecnología—Lenguaje—Redacción técnicaComunicación de información técnica—Ordenadores electrónicosTesis de licenciaturarestrictedAccessLELE1997 D4 E8