Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla |
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. |
Requir. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Analysis-revision, Formal requirements specifications, Refinement, Retrenchment |
40 | Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez |
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. |
RE |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo |
Requirements Specifications Evolution in a Multi-Perspective Environment. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
An Analysis-Revision Cycle to Evolve Requirements Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|