Can intuition become rigorous? Foundations for UML model verification tools

The Unified Modeling Language, UML, is the object oriented notation adopted as the standard for object oriented analysis and design by the Object Management Group. The paper reports on research to facilitate the formal revision of UML informal specifications. The approach is based on algebraic speci...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Aleman, J.L.F., Alvarez, A.T.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Engineering management Formal languages Informatics Natural languages Object oriented modeling Proposals Prototypes Software engineering Software standards Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!