Jorge GarcÃa Duque, José J. 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., 14(3):129-153, 2009. [doi]
Abstract is missing.