Abstract
To formalize the management model introduced in the previous chapter, we use the specification language PROGRESS [Schürr 1989; Schürr 1990; Schürr 1994; Schürr et al. 1995; Schürr et al. 1999]. The PROGRES specification of the management model serves in turn as a starting point for the implementation of the management system to be described in the next chapter.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Westfechtel, B. (1999). Management Model: Formal Specification. In: Models and Tools for Managing Development Processes. Lecture Notes in Computer Science, vol 1646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46708-4_9
Download citation
DOI: https://doi.org/10.1007/3-540-46708-4_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66756-8
Online ISBN: 978-3-540-46708-3
eBook Packages: Springer Book Archive