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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jorge GarcÃa Duque' in GoogleThis author has not been identified. Look up 'JosÃ© J. Pazos Arias' in GoogleThis author has not been identified. Look up 'MartÃn LÃ³pez Nores' in GoogleThis author has not been identified. Look up 'Yolanda Blanco-FernÃ¡ndez' in GoogleThis author has not been identified. Look up 'Ana FernÃ¡ndez Vilas' in GoogleThis author has not been identified. Look up 'Rebeca P. DÃaz Redondo' in GoogleThis author has not been identified. Look up 'Manuel Ramos Cabrer' in GoogleThis author has not been identified. Look up 'Alberto Gil-Solla' in Google

runs on WebDSL