Knoppia

Wiki de Informática y otras historias

Herramientas de usuario

Herramientas del sitio


ingenieria_de_requisitos:especificacion_formal

¡Esta es una revisión vieja del documento!


Es una especificación escrita en notación formal. Es una expresión que utiliza una síntaxis y semántica determinada que esta predefinida. Estos lenguajes están basados en conceptos matemáticos. La ventaja de esta metodología es que no tiene ambigüedad y reduce los costes de pruebas.

ingenieria_de_requisitos/especificacion_formal.1700035145.txt.gz · Última modificación: 2023/11/15 07:59 por thejuanvisu