Skip to main content

and
  1. No Access

    Article

    Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers

    Distributed Ledger Technologien werden – nach der anfänglich ausschließlichen Nutzung für die Verwaltung digitaler Geldeinheiten wie Bitcoin – auch für weitere Anwendungen vorgeschlagen: ...

    Jan Sürmeli, Uwe Der, Stefan Jähnichen, Andreas Vogelsang in Informatik-Spektrum (2017)

  2. No Access

    Article

    Manifest: Strategische Bedeutung des Software Engineering für die Medizin

    Sabine Glesner, Stefan Jähnichen, Barbara Paech in Informatik - Forschung und Entwicklung (2008)

  3. No Access

    Article

    Editorial

    Theo Härder, Stefan Jähnichen in Informatik Forschung und Entwicklung (2004)

  4. No Access

    Article

    Was, bitte, bedeutet Objektorientierung?

    (25/1) vorgebracht haben [5]. Rein äußerlich enthält jener Artikel einige Ungenauigkeiten und Fehler, die eine Richtigstellung verlangen.

    Stefan Jähnichen, Stephan Herrmann in Informatik-Spektrum (2002)

  5. No Access

    Article

    KORSO – Korrekte Software durch formale Methoden

    Von Februar 1990 bis Juni 1994 arbeiteten 15 Partner im Bmft-Verbundprojekt Korso an der Weiterentwicklung und Umsetzung formaler Software-Entwicklungsmethoden. Dieser Artikel gibt einen Überblick über die Ziele...

    Manfred Broy, Stefan Jähnichen in Informatik Forschung und Entwicklung (1997)