Methodologies to evolve formal specifications through refinement and retrenchment in an analysis - Revision cycle
- García-Duque, J.
- Pazos-Arias, J.J.
- López-Nores, M.
- Blanco-Fernández, Y.
- Fernández-Vilas, A.
- Díaz-Redondo, R.P.
- Ramos-Cabrer, M.
- Gil-Solla, A.
ISSN: 0947-3602, 1432-010X
Datum der Publikation: 2009
Ausgabe: 14
Nummer: 3
Seiten: 129-153
Art: Artikel