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

Áreas de investigación:	Sin categoría	Año:	2009
Tipo de publicación:	Artículo
Autores:	12, 8 2
Journal:	Requirements Engineering	Volumen:	14
Número:	3	Páginas:	129-153
BibTex:
@article{122009, author = "12,2,8,7,4,3,6,5", journal = "Requirements Engineering", number = "3", pages = "129--153", title = "{M}ethodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle", volume = "14", year = "2009", }
Descargar: REJ-Jorge-09.pdf