UML 2.0 interactions with OCL/RT constraints

The use of formal methods at early stages of software development contributes to the reliability and robustness of the system to be constructed. Int his context, real-time system development benefits from the construction of behavioral models in order to verify the correct satisfaction of time const...

Full description

Bibliographic Details

Main Author:	Calegari García, Daniel (author)
Format:	masterThesis
Language:	English
Published:	2007
Subjects:	Behavioral specification Real-time systems Unified Modeling Language UML
Online Access:	http://hdl.handle.net/20.500.12008/2946
Tags:	Add Tag No Tags, Be the first to tag this record!