Formalising restructuring operators in a specification process
Authors:
Eric Dubois;Nicole Levy;Jeanine Souquières
Affiliations:
Philips Research Laboratory, Brussels, Belgium;Centre de Recherche en Informatique de Nancy, Vandoeuvre-les-Nancy, France;Centre de Recherche en Informatique de Nancy, Vandoeuvre-les-Nancy, France
Venue:
Proc. of the 1st European Software Engineering Conference on ESEC '87