Software Engineering

1 - 78 out of 78Page size: 100
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

    In: Petri Net Newsletter, No. 81, 2012, p. 3–16.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  3. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    In: Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  4. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

    Publication: Research - peer-review › Book – Annual report year: 2012

  5. Published

    Code Generation for Protocols from CPN models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars Michael ; Kindler, Ekkart.

    2012. Paper presented at 24th Nordic Workshop on Programming Theory (NWPT 2012), Bergen, Norway.

    Publication: Research - peer-review › Paper – Annual report year: 2012

  6. Published

    Evaluation of the industrial internship for the Diploma IT programme at DTU. / Nyborg, Mads; Høgh, Stig; Lauridsen, Pia.

    In: 8th International CDIO Conference. 2012.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  7. Published

    Modelling Foundations and Applications : 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings. / Vallecillo, Antonio (Editor); Tolvanen, Juha-Pekka (Editor); Kindler, Ekkart (Editor); Störrle, Harald (Editor); Kolovos, Dimitris (Editor).

    Springer, 2012. 446 p. (Lecture Notes in Computer Science, Vol. 7349).

    Publication: Research › Book – Annual report year: 2012

  8. Published

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

    In: 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-review › Book chapter – Annual report year: 2012

  9. Published

    On the dimensions of software documents — An idea for framing the software engineering process.. / Kindler, Ekkart; Baumeister, Hubert; Haxthausen, Anne Elisabeth; Kiniry, Joseph.

    In: The Semat Workshop on a General Theory of Software Engineering 2012: Proceedings. ed. / I. Jacobsen; M. Goedicke; P. Johnson. 2012. p. 21-22.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  10. Published

    On the Impact of Layout Quality to Understanding UML Diagrams: Diagram Type and Expertise. / Störrle, Harald.

    In: 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2012. p. 49-56 .

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  11. Published

    Prediction and optimization methods for electric vehicle charging schedules in the EDISON project. / Aabrandt, Andreas; Andersen, Peter Bach; Pedersen, Anders Bro; You, Shi; Poulsen, Bjarne; O'Connell, Niamh; Østergaard, Jacob.

    In: 2012 IEEE PES Innovative Smart Grid Technologies (ISGT). IEEE, 2012.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  12. Published

    The ePNK: A generic PNML tool Users' and Developers' Guide for Version 1.0.0. / Kindler, Ekkart.

    Kgs. Lyngby : Technical University of Denmark, 2012. 164 p. (IMM-Technical Report-2012; No. 14).

    Publication: Research › Report – Annual report year: 2012

  13. Published

    The Event Coordination Notation: Execution Engine and Programming Framework. / Kindler, Ekkart.

    In: BM-FA '12 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications . Association for Computing Machinery, 2012. p. 8.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  14. Published

    The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems. / Peleska, Jan; Feuser, Johannes; Haxthausen, Anne Elisabeth.

    In: Railway Safety, Reliability and Security: Technologies and System Engineering. IGI global, 2012. p. 22-52.

    Publication: Research - peer-review › Book chapter – Annual report year: 2012

  15. Published

    Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael .

    2012. Paper presented at 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2012), Essen, Germany.

    Publication: Research - peer-review › Paper – Annual report year: 2012

  16. 2011
  17. Published

    A Formal Approach for the Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth; Peleska, Jan; Kinder, Sebastian.

    In: Formal Aspects of Computing, Vol. 23, No. 2, 2011, p. 191-219.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  18. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    In: 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-review › Article in proceedings – Annual report year: 2011

  19. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  20. Published

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

    2011.

    Publication: Research › Report – Annual report year: 2011

  21. Published

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

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

    Publication: Research › Report – Annual report year: 2011

  22. Published

    Expressing Model Constraints Visually with VMQL. / Störrle, Harald.

    In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2011. p. 195-202 (Uden navn).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  24. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  25. 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: Research › Ph.d. thesis – Annual report year: 2011

  26. Published

    Is micro-CHP price controllable under price signal controlled Virtual Power Plants?. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.

    In: Innovative Smart Grid Technologies (ISGT), 2011 IEEE PES. IEEE, 2011.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  27. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  28. Published

    On the impact of layout quality to understanding UML diagrams. / Störrle, Harald.

    In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2011. p. 135-142 (Uden navn).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  29. Published

    On the use of Pragmatics for Model-based Development of Protocol Software. / Simonsen, Kent Inge.

    2011. Paper presented at International Workshop on Petri Nets and Software Engineering (PNSE 2012), Newcastle upon Tyne, United Kingdom.

    Publication: Research - peer-review › Paper – Annual report year: 2011

  30. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  31. Published

    The Third Workshop on Behaviour Modelling - Foundations and Applications. / Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Aksit, Mehmet.

    In: Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, 2011. p. 381-382 (Lecture Notes in Computer Science; No. 6698).

    Publication: Research › Article in proceedings – Annual report year: 2011

  32. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  33. Published

    Towards Clone Detection in UML Domain Models. / Störrle, Harald.

    In: Software and Systems Modeling, 2011.

    Publication: Research - peer-review › Journal article – Annual report year: 2011

  34. Published

    VMQL: A Visual Language for Ad-Hoc Model Querying. / Störrle, Harald.

    In: Journal of Visual Languages and Computing, Vol. 22, No. 1, 2011, p. 3-29.

    Publication: Research - peer-review › Journal article – Annual report year: 2011

  35. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2011

  36. 2010
  37. 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: Research › Ph.d. thesis – Annual report year: 2011

  38. Published

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

    Kgs. Lyngby, Denmark, 2010. 32 p.

    Publication: Research › Report – Annual report year: 2010

  39. Published

    Capturing the Intention of Model Changes. / Könemann, Patrick.

    In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems. Vol. Part II Springer, 2010. p. 108-122 (Lecture Notes in Computer Science; No. 6395).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  40. Published

    Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. / Greenyer, Joel; Kindler, Ekkart.

    In: Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 21-46.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  41. Published

    Design Decisions in Model-driven Software Development. / Könemann, Patrick.

    In: Software Engineering 2010 - Workshopband: (inkl. Doktorandensymposium). Gesellschaft für Informatik e.V., 2010. p. 531-536 (Lecture Notes in Informatics; No. P-160).

    Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2010

  42. Published

    Electric Vehicle Fleet Integration in the Danish EDISON Project : A Virtual Power Plant on the Island of Bornholm. / Andersen, Peter Bach; Træholt, Chresten; Marra, Francesco; Poulsen, Bjarne; Binding, Carl; Gantenbein, Dieter; Jansen, Bernhard; Sundstroem, Olle.

    In: 2010 IEEE Power & Energy Society General Meeting. 2010.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  43. Published

    Linking Design Decisions to Design Models in Model-based Software Development. / Könemann, Patrick.

    In: Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings. 1. ed. Springer, 2010. p. 246-262 (Lecture Notes in Computer Science; No. 6285).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  44. Published

    Mapping and industrial IT project to a 2nd semester design-build project. / Nyborg, Mads; Høgh, Stig.

    In: Proceedings of the 6th International CDIO Conference, Ecole Polytechnique, Montreal, June 15-18, 2010. 2010.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  45. Published

    Model driven development of user interface prototypes : an integrated approach. / Störrle, Harald.

    In: Proc. 4th European Conference on Software Architecture (ECSA'10): Proc. 8th Nordic Workshop on Model Driven Engineering (NW-MODE’10). Vol. Companion Volume ACM, 2010. p. 261-268.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  46. Published

    Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

    In: Foundations of Computer Software: Future Trends and Techniques for Development.. ed. / Christine Choppy; Oleg Sokolsky. Springer, 2010. p. 141-153 (Lecture Notes in Computer Science; No. 6028).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  47. E-pub ahead of print

    Ny software helt uden programmering. / Kindler, Ekkart.

    In: videnskab.dk, 2010.

    Publication: Communication › Journal article – Annual report year: 2010

  48. 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.; van Dongen, B.F.; Kindler, Ekkart; Günther, C.W.

    In: Journal of Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 87-111.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  49. Published

    Semantic Grouping of Model Changes. / Könemann, Patrick.

    In: IWMCP '10 Proceedings of the 1st International Workshop on Model Comparison in Practice. New York, NY, USA : ACM, 2010. p. 50-55.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  50. Published

    Structuring very large domain models : Experiences from industrial MDSD projects. / Störrle, Harald.

    In: Proc. 4th European Conference on Software Architecture (ECSA'10). ACM, 2010. p. 49-54.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  51. Published

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

    In: Modeling, Development and Verification of Adaptive Systems. ed. / Radu Calinescu; Ethan Jackson. Redmond, Washington, USA : Microsoft Research, 2010. p. 101-111.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  52. Published

    Towards Clone Detection in UML Domain Models. / Störrle, Harald.

    In: Proc. 4th European Conference on Software Architecture (ECSA'10): Proc. 8th Nordic Workshop on Model Driven Engineering (NW-MODE’10). Vol. Companion Volume ACM, 2010. p. 285-293.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  53. 2009
  54. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    In: 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-review › Article in proceedings – Annual report year: 2009

  55. Published

    A framework for the definition of variants of high-level Petri nets. / Kindler, Ekkart; Petrucci, Laure.

    In: 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-review › Article in proceedings – Annual report year: 2009

  56. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  57. 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: Research › Journal article – Annual report year: 2009

  58. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  59. 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-review › Journal article – Annual report year: 2009

  60. Published

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

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

    Publication: Research › Report – Annual report year: 2009

  61. Published

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

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

    Publication: Research › Article in proceedings – Annual report year: 2009

  62. Published

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

    In: 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-review › Book chapter – Annual report year: 2009

  63. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  64. Published

    Modelling Constructs. / Kindler, Ekkart.

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

    Publication: Research - peer-review › Book chapter – Annual report year: 2009

  65. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2009

  66. 2008
  67. Published

    Aspect-Oriented Modelling from a Different Angle : Modelling Domains with Aspects. / Kindler, Ekkart; Schmelter, David.

    In: Aspect-Oriented Modeling: 12th International Workshop on. ACM, 2008. p. 7-12.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

  68. Published

    CASL, the Common Algebraic Specification Language. / Mossakowski, Till; Haxthausen, Anne Elisabeth; Sannella, Donald; Tarlecki, Andrzej.

    In: 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-review › Book chapter – Annual report year: 2008

  69. Published

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

    Lyngby : DTU Informatics, 2008. (IMM-Technical Report-2008-07).

    Publication: Research - peer-review › Report – Annual report year: 2008

  70. Published

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

    In: 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-review › Book chapter – Annual report year: 2008

  71. Published

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

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

    Publication: Research › Report – Annual report year: 2008

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

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

    Publication: Research - peer-review › Book chapter – Annual report year: 2008

  73. 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: Research › Report – Annual report year: 2008

  74. 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: Research › Journal article – Annual report year: 2008

  75. 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: Research › Report – Annual report year: 2008

  76. Published

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

    In: 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-review › Book chapter – Annual report year: 2008

  77. 2007
  78. Published

    Modular PNML revisited: Some ideas for strict typing. / Kindler, Ekkart.

    In: Algorithmen und Werzeuge für Petri Netze. Vol. AWPN 2007 Stephan Philippi and Alexander Pinl. ed. Koblenz, Germany : University of Koblenz-Landau, 2007. p. 20-25.

    Publication: Research › Article in proceedings – Annual report year: 2007

  79. 2006
  80. Published

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

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

    Publication: Research - peer-review › Book chapter – Annual report year: 2006

  81. 2005
  82. Published

    Designing a Flexible Kernel Providing VDM++ Support for Eclipse. / Nielsen, Jacob Porsborg; Hansen, Jens Kielsgaard; Bruun, Hans; Haxthausen, Anne Elisabeth.

    In: Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK. 2005.

    Publication: Research › Article in proceedings – Annual report year: 2005

  83. 2004
  84. Published

    CASL Semantics. / Baumeister, Hubert; Cerioli, Maura; Haxthausen, Anne Elisabeth; Mossakowski, Till; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej.

    In: CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. Vol. Lecture Notes in Computer Science, Vol. 2960 2004.

    Publication: Research - peer-review › Book chapter – Annual report year: 2004

  85. 1990
  86. Published

    Konstruktion af indlæseprogrammer. / Kristensen, Jens Thyge.

    København : Teknisk Forlag A/S, 1990. 119 p.

    Publication: Education › Book – Annual report year: 1990

  87. 1971
  88. Published

    Algol W Fejlmeldinger : Med 113 programeksempler. / Kristensen, Jens Thyge.

    København : Akademisk forlag, 1971. 90 p.

    Publication: Education › Book – Annual report year: 1971

  89. Published

    Algol W Programmering. / Kristensen, Jens Thyge.

    Akademisk Forlag, 1971. 280 p.

    Publication: Education › Book – Annual report year: 1971

Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN