The role of formalized domain-specific software frameworks
David Garlan · 1989
We use our experience in developing formal domain-specific software processes in an industrial setting to argue the benefits of (a) developing specialized software process models tailored to a particular class of software system, and (b) the use of formal methods and notations for extracting these models.