Software Engineering

  1. Published

    Aspect-Oriented Modelling from a Different Angle : Modelling Domains with Aspects. / Kindler, Ekkart; Schmelter, David.

    Aspect-Oriented Modeling: 12th International Workshop on. ACM, 2008. p. 7-12.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  2. Published

    A study on electricity export capability of the μCHP system with spot price. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.

    IEEE Power & Energy Society General Meeting, 2009. PES '09.. IEEE, 2009. p. 1-6.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  3. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  4. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

    Publication: Research - peer-reviewBook – Annual report year: 2012

  5. Published

    Capturing the Intention of Model Changes. / Könemann, Patrick.

    Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems. Vol. Part II Springer, 2010. p. 108-122 (Lecture Notes in Computer Science; No. 6395).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  6. Published

    CASL Semantics. / Baumeister, Hubert; Cerioli, Maura; Haxthausen, Anne Elisabeth; Mossakowski, Till; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej.

    CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. Vol. Lecture Notes in Computer Science, Vol. 2960 2004.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2004

  7. Published

    CASL, the Common Algebraic Specification Language. / Mossakowski, Till; Haxthausen, Anne Elisabeth; Sannella, Donald; Tarlecki, Andrzej.

    Logics of Specification Languages. ed. / Dines Bjørner; Martin C. Henson. Springer, 2008. (Monographs in Theoretical Computer Science. An EATCS Series; No. XXII).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2008

  8. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  9. 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-reviewPaper – Annual report year: 2012

  10. Published

    Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. / Greenyer, Joel; Kindler, Ekkart.

    In: Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 21-46.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word