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

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

Abstract is missing.