Loading...
Please wait, while we are loading the content...
Similar Documents
Translating Fusion/UML to Object-Z (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Bittner, Margot Kammüller, Florian |
| Abstract | We present an extension of the development method Fusion/UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specification for the implementation is produced. |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Fusion Uml Development Method Fusion Uml Consistency Relationship Extended Process Formal Specification Language Object-z |
| Content Type | Text |