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.
[Konferenz- oder Workshop-Beitrag], (2008)

Offizielle URL: http://dx.doi.org/10.1109/TASE.2008.10
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
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): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
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