Software Engineering

  1. 2007
  2. 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

  3. 2006
  4. 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

  5. 2005
  6. 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

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

  9. 1990
  10. Published

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

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

    Publication: EducationBook – Annual report year: 1990

  11. 1971
  12. Published

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

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

    Publication: EducationBook – Annual report year: 1971

  13. Published

    Algol W Programmering. / Kristensen, Jens Thyge.

    Akademisk Forlag, 1971. 280 p.

    Publication: EducationBook – Annual report year: 1971

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