ePubs

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
Contributors
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
Keywords
Funding Information
Related Research Object(s):
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
Showing record 1 of 1
RCUK
Science and Technology Facilities Council Switchboard: 01793 442000