Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2007

  Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.

  Dölle, B., 2007, Cuvillier Verlag. 174 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Bücher › Begutachtung

  • Specifications 100%
  • Abstract data types 18%
  • Semantics 17%
  • Formal methods 14%
  • Object oriented programming 14%