Software Engineering

  1. 1971
  2. Published

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

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

    Publication: EducationBook – Annual report year: 1971

  3. Published

    Algol W Programmering. / Kristensen, Jens Thyge.

    Akademisk Forlag, 1971. 280 p.

    Publication: EducationBook – Annual report year: 1971

  4. 1990
  5. Published

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

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

    Publication: EducationBook – Annual report year: 1990

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

  8. 2005
  9. Published

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

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

    Publication: ResearchArticle in proceedings – Annual report year: 2005

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

  12. 2007
  13. Published

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

    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: ResearchArticle in proceedings – Annual report year: 2007

  14. 2008
  15. 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

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

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

Previous 1 2 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