Software Engineering

  1. 2010
  2. Published

    Model driven development of user interface prototypes : an integrated approach. / Störrle, Harald.

    Proc. 4th European Conference on Software Architecture (ECSA'10): Proc. 8th Nordic Workshop on Model Driven Engineering (NW-MODE’10). Vol. Companion Volume ACM, 2010. p. 261-268.

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

  3. Published

    Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

    Foundations of Computer Software: Future Trends and Techniques for Development.. ed. / Christine Choppy; Oleg Sokolsky. Springer, 2010. p. 141-153 (Lecture Notes in Computer Science; No. 6028).

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

  4. E-pub ahead of print

    Ny software helt uden programmering. / Kindler, Ekkart.

    In: videnskab.dk, 2010.

    Publication: CommunicationJournal article – Annual report year: 2010

  5. Published

    Process mining : A two-step approach to balance between underfitting and overfitting. / van der Aalst, W.M.P.; Rubin, V.; Verbeek, H.M.W.; van Dongen, B.F.; Kindler, Ekkart; Günther, C.W.

    In: Journal of Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 87-111.

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

  6. Published

    Semantic Grouping of Model Changes. / Könemann, Patrick.

    IWMCP '10 Proceedings of the 1st International Workshop on Model Comparison in Practice. New York, NY, USA : ACM, 2010. p. 50-55.

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

  7. Published

    Structuring very large domain models : Experiences from industrial MDSD projects. / Störrle, Harald.

    Proc. 4th European Conference on Software Architecture (ECSA'10). ACM, 2010. p. 49-54.

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

  8. Published

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Modeling, Development and Verification of Adaptive Systems. ed. / Radu Calinescu; Ethan Jackson. Redmond, Washington, USA : Microsoft Research, 2010. p. 101-111.

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

  9. Published

    Towards Clone Detection in UML Domain Models. / Störrle, Harald.

    Proc. 4th European Conference on Software Architecture (ECSA'10): Proc. 8th Nordic Workshop on Model Driven Engineering (NW-MODE’10). Vol. Companion Volume ACM, 2010. p. 285-293.

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

  10. 2009
  11. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

  12. Published

    A framework for the definition of variants of high-level Petri nets. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09). 2009. p. 121-137.

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

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