TU Darmstadt / ULB / TUbiblio

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Knieke, Christoph and Huhn, Michaela and Lochau, Malte :
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
[Online-Edition: http://dx.doi.org/10.1109/TASE.2008.10]
In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
[Conference or Workshop Item] , (2008)

Official URL: http://dx.doi.org/10.1109/TASE.2008.10
Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Knieke, Christoph and Huhn, Michaela and Lochau, Malte
Title: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
Language: English
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Event Title: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China
Date Deposited: 05 Jun 2015 10:43
Official URL: http://dx.doi.org/10.1109/TASE.2008.10
Export:

Optionen (nur für Redakteure)

View Item View Item