Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- Published
The Event Coordination Notation: Execution Engine and Programming Framework. / Kindler, Ekkart.
In: BM-FA '12 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications . Association for Computing Machinery, 2012. p. 8.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Evaluation of the industrial internship for the Diploma IT programme at DTU. / Nyborg, Mads; Høgh, Stig; Lauridsen, Pia.
In: 8th International CDIO Conference. 2012.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
On the Impact of Layout Quality to Understanding UML Diagrams: Diagram Type and Expertise. / Störrle, Harald.
In: 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2012. p. 49-56 .Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Code Generation for Protocols from CPN models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars Michael ; Kindler, Ekkart.
2012. Paper presented at 24th Nordic Workshop on Programming Theory (NWPT 2012), Bergen, Norway.Publication: Research - peer-review › Paper – Annual report year: 2012
- Published
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael .
2012. Paper presented at 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2012), Essen, Germany.Publication: Research - peer-review › Paper – Annual report year: 2012
- 2011
- Published
A Formal Approach for the Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth; Peleska, Jan; Kinder, Sebastian.
In: Formal Aspects of Computing, Vol. 23, No. 2, 2011, p. 191-219.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
VMQL: A Visual Language for Ad-Hoc Model Querying. / Störrle, Harald.
In: Journal of Visual Languages and Computing, Vol. 22, No. 1, 2011, p. 3-29.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Effective Development and Verification of Railway Control Software. / Haxthausen, Anne Elisabeth.
2011.Publication: Research › Report – Annual report year: 2011
- Published
ePNK: A generic PNML tool - Users' and Developers' Guide : version 0.9.1. / Kindler, Ekkart.
Kgs. Lyngby, Denmark : DTU Informatics, Building 321, 2011. (IMM-Technical Report-2011-03).Publication: Research › Report – Annual report year: 2011
- Published
Integrating Design Decision Management with Model-based Software Development. / Könemann, Patrick; Kindler, Ekkart (Supervisor).
Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011-249).Publication: Research › Ph.d. thesis – Annual report year: 2011