The role of formalized domain-specific software frameworks

Authors:
David Garlan
Affiliations:
Computer Research Labs, Tektronix Laboratories, Beaverton, OR
Venue:
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Year:
1990

Citing 4
Cited 0

Software processes are software too

ICSE '87 Proceedings of the 9th international conference on Software Engineering
The Z notation: a reference manual

The Z notation: a reference manual
Applying software process models to the full lifecycle is premature

ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Formally specifying electronic instruments

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.