Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2009
- Published
A primer on the Petri Net Markup Language and ISO/IEC 15909-2. / Hillah, L. M.; Kindler, Ekkart; Kordon, F.; Petrucci, L.; Tréves, N.
In: Petri Net Newsletter, No. 76, 2009, p. 9-28.Publication: Research › Journal article – Annual report year: 2009
- Published
A study on electricity export capability of the μCHP system with spot price. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.
In: IEEE Power & Energy Society General Meeting, 2009. PES '09.. IEEE, 2009. p. 1-6.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- Published
Developing a Domain Model for Relay Circuits. / Haxthausen, Anne Elisabeth.
In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.Publication: Research - peer-review › Journal article – Annual report year: 2009
- Published
Integrating a Decision Management Tool with UML Modeling Tools. / Könemann, Patrick.
Kgs. Lyngby : DTU Informatics, Building 321, 2009. (IMM-Technical Report-2009-07).Publication: Research › Report – Annual report year: 2009
- Published
Integrating decision management with UML modeling concepts and tools. / Könemann, Patrick.
In: Joint Working IEEE/IFIP Conference on Software Architecture, 2009 & European Conference on Software Architecture. WICSA/ECSA 2009.. IEEE, 2009.Publication: Research › Article in proceedings – Annual report year: 2009
- Published
Model-based Software Engineering and Process-Aware Information Systems. / Kindler, Ekkart.
In: Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems. ed. / K. Jensen; W.M.P. van der Aalst. Vol. 2 1. ed. Springer, 2009. p. 27-45 (Lecture Notes in Computer Science; No. 5460).Publication: Research - peer-review › Book chapter – Annual report year: 2009
- Published
Model-independent differences. / Könemann, Patrick.
In: ICSE Workshop on Comparison and Versioning of Software Models, 2009. CVSM '09. IEEE, 2009. p. 37-42.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- Published
Modelling Constructs. / Kindler, Ekkart.
In: Handbook of Research on Business Process Modeling. ed. / Jorge Cardoso; Wil van der Aalst. Idea Group Publishing, 2009. p. 122-141.Publication: Research - peer-review › Book chapter – Annual report year: 2009
- Published
Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.
In: Proceedings of the Application and Theory of Petri Nets: 30th International Conference. ed. / Giuliana Franceschinis; Karsten Wolf. Springer, 2009. p. 43-62 (Lecture Notes in Computer Science; No. 5606).Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- 2010
- Published
An Introduction to Formal Methods for the Development of Safety-critical Applications. / Haxthausen, Anne Elisabeth.
Kgs. Lyngby, Denmark, 2010. 32 p.Publication: Research › Report – Annual report year: 2010