TU Darmstadt / ULB / TUbiblio

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

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

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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item