Professional Documents
Culture Documents
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