Referencias Bibliográficas: [Thompson, 1999,Paz-Valderrama, 2005,Bird, 1998]
Tópicos
- Conceptos básicos de técnicas de especificación formal.
Objetivos
- Traducir en lenguaje natural una especificación de requerimientos de software escrita en un lenguaje de especificación formal comunmente usado.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación, Perú
basado en la Computing Curricula de IEEE-CS/ACM
