The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/35173
Record Status Checked
Record Id 35173
Title Defining Semantics for Rigorous Development in UML
Abstract The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-oriented analysis and design. In this paper we outline a semantic framework for UML which would support formal analysis and verification as part of a rigorous development process for critical systems.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In OOPSLA'98 Workshop on Defining UML, Vancouver, Canada, October 1998, (1998). lano98defining.pdf 1998