Software Engineering

  1. Research › Ph.D. thesis
  2. Published

    Developing Virtual Power Plant for Optimized Distributed Energy Resources Operation and Integration. / You, Shi; Træholt, Chresten (Supervisor); Poulsen, Bjarne (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. 148 p.

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  3. Published

    Integrating Design Decision Management with Model-based Software Development. / Könemann, Patrick; Kindler, Ekkart (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011-249).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  4. Research › Book chapter
  5. Published

    Algebraic specification in CASL. / Baumeister, Hubert; Bert, Didier.

    Software specification Methods: An Overview Using a Case Study. ISTE Publishing Company, 2006.

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

  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

    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

  9. Published

    Model-based Software Engineering and Process-Aware Information Systems. / Kindler, Ekkart.

    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-reviewBook chapter – Annual report year: 2009

  10. Published

    Modelling Constructs. / Kindler, Ekkart.

    Handbook of Research on Business Process Modeling. ed. / Jorge Cardoso; Wil van der Aalst. Idea Group Publishing, 2009. p. 122-141.

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

  11. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency VI. Springer, 2012. p. 71-93 (Lecture Notes in Computer Science, Vol. 7400).

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

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

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