UML White Papers
Exploration Games for Safety-Critical System Design With UML 2.0
Overview UML has its origin in mainstream software engineering and is often used informally by software designers. Critical systems on the other hand are usually specified very precisely and frequently require formal verification. This paper introduces the idea of using games to traverse smoothly from an informally defined design in UML to one that is verifiable.
| Publisher | University of Edinburgh | File Format | PDF, requires Acrobat Rdr 5 |
|---|---|---|---|
| Date Published | February 2005 | Downloads | 34 |
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 1 out of 2 users found this white paper useful
White Paper RSSAn Introduction to Gathering Requirements, Creating Use Cases and the UML
DownloadThis whitepaper introduces software requirements and how to collect them. In addition, this whitepaper offers a detailed presentation of the theory and use of the Unified Modeling Language (UML). The...
ARIS UML Designer
This white paper describes ARIS UML Designer, its features, its benefits and other related benefits. ARIS UML Designer optimizes the UML capabilities of ARIS. In conjunction with the ARIS methods...
Designing the Software Architecture of an Embedded System With UML 2.0
A model-driven development methodology was elaborated and implemented, based on existing tools, where UML is used for both software design and implementation (code generation from executable UML models). For validation...
Computing Model Complexity
Metrics have been applied - and misapplied - to software systems for a number of decades now. In a perfect world, metrics provide both a measure of quality, an estimate...
UML 2.0 Action Semantics and Telelogic TAU/Architect and TAU/Developer Action Language
What do action semantics and executable model mean? How are these concepts implemented in the new version of UML 2.0? What are the benefits of UML 2.0 in UML based...
