Conference Paper

Formal verification of UML diagrams: A first step towards code generation

No Thumbnail Available

Fulltext URI

Document type

Text/Conference Paper

Additional Information

Date

2001

Authors

Journal Title

Journal ISSN

Volume Title

Source

Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
Regular Research Papers

Publisher

Abstract

Description

Smith, Jeffrey E.; Kokar, Mieczyslaw K.; Baclawski, Kenneth (2001): Formal verification of UML diagrams: A first step towards code generation. Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001. PISSN: 1617-5468. ISBN: 3-88579-335-0. pp. 224-240. Regular Research Papers. Toronto, Canada. October 1st, 2001

Keywords

Citation

DOI

URI

https://dl.gi.de/handle/20.500.12116/30856

Collections

P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001

Endorsement

Review

Supplemented By

Referenced By