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
Year of publication: 2009
Volume: 14
Issue: 3
Pages: 129-153
Type: Article