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

Research areas:	Uncategorized	Year:	2009
Type of Publication:	Article
Authors:	12, 8 2
Journal:	Requirements Engineering	Volume:	14
Number:	3	Pages:	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", }
Download: REJ-Jorge-09.pdf