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.
Revista:
Requirements Engineering

ISSN: 0947-3602,  1432-010X

Ano de publicación: 2009

Volume: 14

Número: 3

Páxinas: 129-153

Tipo: Artigo

DOI: 10.1007/S00766-009-0074-Z GOOGLE SCHOLAR
Fonte de datos: Scopus