Methodologies to evolve formal specifications through refinement and retrenchment in an analysis - Revision cycle

  1. García-Duque, J.
  2. Pazos-Arias, J.J.
  3. López-Nores, M.
  4. Blanco-Fernández, Y.
  5. Fernández-Vilas, A.
  6. Díaz-Redondo, R.P.
  7. Ramos-Cabrer, M.
  8. Gil-Solla, A.
Zeitschrift:
Requirements Engineering

ISSN: 0947-3602,  1432-010X

Datum der Publikation: 2009

Ausgabe: 14

Nummer: 3

Seiten: 129-153

Art: Artikel

DOI: 10.1007/S00766-009-0074-Z GOOGLE SCHOLAR
Datenquelle: Scopus