Software Engineering

  1. 2011
  2. Published

    Developing Open Source System Expertise in Europe. / Nyborg, Mads; Gustafsson, Finn; Christensen, Jørgen Erik.

    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

  3. Published

    What are the Characteristics of Engineering Design Processes?. / Maier, Anja; Störrle, Harald.

    Proceedings of the 18th International Conference on Engineering Design: Impacting Society through Engineering Design. Vol. 1: Design Processes Design Society, 2011. p. 188-198.

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

  4. Published

    Integrating Behaviour in Software Models: An Event Coordination Notation : Concepts and Prototype. / Kindler, Ekkart.

    BM-FA '11 Proceedings of the Third Workshop on Behavioural Modelling. New York : ACM, 2011. p. 41-48.

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

  5. Published

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

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11). 2011. p. 42-56 (CEUR Workshop Proceedings; No. 723).

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

  6. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

    Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

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

  7. Published

    Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie.

    FM 2011: Formal Methods: 17th International Symposium on Formal Methods Limerick, Ireland, June 20-24, 2011 Proceedings. Springer, 2011. p. 118-132 (Lecture Notes in Computer Science; No. 6664).

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

  8. Published

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

    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).

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

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

  10. Published

    ePNK: A generic PNML tool - Users' and Developers' Guide : version 0.9.1. / Kindler, Ekkart.

    Kgs. Lyngby, Denmark : Technical University of Denmark, DTU Informatics, Building 321, 2011. (IMM-Technical Report-2011-03).

    Publication: ResearchReport – Annual report year: 2011

  11. Published

    Effective Development and Verification of Railway Control Software. / Haxthausen, Anne Elisabeth.

    2011.

    Publication: ResearchReport – Annual report year: 2011

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