Professional Documents
Culture Documents
1.1 Concepto y Terminología
1.1 Concepto y Terminología
1 Concepto y terminología
Especificaciones informales:
Predomina el lenguaje natural
Poco precisas y breves ambigüedad
Sencillas de escribir, leer y entender
Especificaciones formales:
Lenguaje algebraico verificación formal de programas
Precisas y breves
Pueden resultar más complejas de escribir, leer y entender
1.3.1 Especificaciones informales