Software Engineering

  1. 2008
  2. 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

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

  4. Published

    Diff-based model synchronization in an industrial MDD process. / Kindler, Ekkart; Könemann, Patrick; Unland, Ludger.

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

    Publication: Research - peer-reviewReport – Annual report year: 2008

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

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

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

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

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

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

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

Previous 1...3 4 5 6 7 8 Next
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