Abstract
The authors advocate the use of Superposed Automata Nets (SA nets), a subclass of Predicate Transition Nets, during the requirements definition and design phases. SA nets are taken as the basis for contracts between the various persons and organizations involved in the system design process.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Floyd, C., Keil, R. (1983). COMMENTS on F. De Cindio, G. De Michelis, L. Pomello and C. Simone. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive