Towards a formalization of the Unified Modeling Language
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 344-366
- https://doi.org/10.1007/bfb0053386
Abstract
No abstract availableKeywords
All Related Versions
This publication has 7 references indexed in Scilit:
- Automata Describing Object BehaviorPublished by Springer Nature ,2007
- A stream-based mathematical model for distributed information processing systems - the SysLab system model -Published by Springer Nature ,1997
- State Based Service DescriptionPublished by Springer Nature ,1997
- Modeling the dynamic behavior of objects on events, messages and methods (extended abstract)Published by Springer Nature ,1997
- Graphical development of consistent system specificationsPublished by Springer Nature ,1996
- A New Definition of the Subtype RelationPublished by Defense Technical Information Center (DTIC) ,1993
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987