The UML as a formal modeling notation
- 1 November 1998
- journal article
- Published by Elsevier in Computer Standards & Interfaces
- Vol. 19 (7) , 325-334
- https://doi.org/10.1016/s0920-5489(98)00020-8
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A stream-based mathematical model for distributed information processing systems - the SysLab system model -Published by Springer Nature ,1997
- Foundations of the Unified Modeling LanguageElectronic Workshops in Computing, 1997
- Objects, associations and subsystems: A hierarchical approach to encapsulationPublished by Springer Nature ,1997
- Towards a formalization of the Unified Modeling LanguagePublished by Springer Nature ,1997
- A formal semantics for object model diagramsIEEE Transactions on Software Engineering, 1995
- Z++, An Object-Orientated Extension To ZPublished by Springer Nature ,1991
- Using Z as a specification calculus for object-oriented systemsPublished by Springer Nature ,1990