Defining Semantics for Rigorous Development in UML

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/35173
Record Status	Checked
Record Id	35173
Title	Defining Semantics for Rigorous Development in UML
Contributors	K Lano, J Bicarregui (CCLRC Rutherford Appleton Lab.), A Evans (York U.)
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):
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