TU Darmstadt / ULB / TUbiblio

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Knieke, Christoph ; Huhn, Michaela ; 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.
[ Konferenzveröffentlichung] , (2008)

Offizielle URL: http://dx.doi.org/10.1109/TASE.2008.10
Typ des Eintrags: Konferenzveröffentlichung ( nicht bekannt)
Erschienen: 2008
Autor(en): Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte
Titel: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
Sprache: Englisch
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Veranstaltungstitel: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China
Hinterlegungsdatum: 05 Jun 2015 10:43
Offizielle URL: http://dx.doi.org/10.1109/TASE.2008.10
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen