Software Engineering

  1. 2008
  2. Published

    Experiences with Functional Programming in an Introductory Curriculum. / Hansen, Michael Reichhardt; Kristensen, Jens Thyge.

    Reflections on the Teaching of Programming: Methods and Implementations. ed. / Jens Bennedsen; Michael Caspersen; Michael Kölling. Springer, 2008. p. 31-47 (Lecture Notes in Computer Science; No. 4821).

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

  3. Published

    Model-Independent Diffs. / Könemann, Patrick.

    Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2008. (IMM-Technical Report-2008-20).

    Publication: ResearchReport – Annual report year: 2008

  4. Published

    Modelling the CoCoME with the Java/A Component Model. / Knapp, Alexander; Janisch, Stephan; Hennicker, Rolf; Clark, Allan; Gilmore, Stephen; Hacklinger, Florian; Baumeister, Hubert; Wirsing, Martin.

    The Common Component Modeling Example: Comparing Software Component Models. Springer, 2008. p. 207-237.

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

  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.; Kindler, Ekkart; Günther, C.W.

    BPMcenter.org, 2008. 40 p. (BPM Center Report; No. BPM-08-01).

    Publication: ResearchReport – Annual report year: 2008

  6. Published

    Requirements and Evaluation of tool papers for PETRI NETS. / Franceschinis, Giuliana; van Hee, Kees; Kindler, Ekkart; Kordon, Fabrice; Kristensen, Lars M.; Wolf, Karsten.

    In: Petri Net Newsletter, No. 75, 2008, p. 9-18.

    Publication: ResearchJournal article – Annual report year: 2008

  7. Published

    TGGs for Transforming UML to CSP : Contribution to the AGTIVE 2007 Graph Transformation Tools Contest. / Greenyer, Joel; Kindler, Ekkart; Rieke, Jan; Travkin, Oleg.

    Paderborn, Germany : Department of Computer Science, University of Paderborn, 2008. 24 p. (Reihe Informatik; No. tr-ri-08-287).

    Publication: ResearchReport – Annual report year: 2008

  8. Published

    The Logic of the RAISE Specification Language. / George, Chris; Haxthausen, Anne Elisabeth.

    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

  9. 2009
  10. 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

  11. 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

  12. Published

    A Logical Model Query Interface. / Störrle, Harald.

    Intl. Ws. Visual Languages and Logic (VLL'09): CEUR Proceedings. Vol. 510 2009. p. 18-36.

    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