Software Engineering

  1. 2009
  2. Published

    A primer on the Petri Net Markup Language and ISO/IEC 15909-2. / Hillah, L. M.; Kindler, Ekkart; Kordon, F.; Petrucci, L.; Tréves, N.

    In: Petri Net Newsletter, No. 76, 2009, p. 9-28.

    Publication: ResearchJournal article – Annual report year: 2009

  3. Published

    A study on electricity export capability of the μCHP system with spot price. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.

    IEEE Power & Energy Society General Meeting, 2009. PES '09.. IEEE, 2009. p. 1-6.

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

  4. Published

    Developing a Domain Model for Relay Circuits. / Haxthausen, Anne Elisabeth.

    In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.

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

  5. Published

    Integrating a Decision Management Tool with UML Modeling Tools. / Könemann, Patrick.

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

    Publication: ResearchReport – Annual report year: 2009

  6. Published

    Integrating decision management with UML modeling concepts and tools. / Könemann, Patrick.

    Joint Working IEEE/IFIP Conference on Software Architecture, 2009 & European Conference on Software Architecture. WICSA/ECSA 2009.. IEEE, 2009.

    Publication: ResearchArticle in proceedings – Annual report year: 2009

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

  8. Published

    Model-independent differences. / Könemann, Patrick.

    ICSE Workshop on Comparison and Versioning of Software Models, 2009. CVSM '09. IEEE, 2009. p. 37-42.

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

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

  10. Published

    Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Application and Theory of Petri Nets: 30th International Conference. ed. / Giuliana Franceschinis; Karsten Wolf. Springer, 2009. p. 43-62 (Lecture Notes in Computer Science; No. 5606).

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

  11. 2010
  12. Published

    An Introduction to Formal Methods for the Development of Safety-critical Applications. / Haxthausen, Anne Elisabeth.

    Kgs. Lyngby, Denmark, 2010. 32 p.

    Publication: ResearchReport – Annual report year: 2010

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