Skip to main content

7 Result(s)

within Article Remove this filter Stefan Jähnichen Remove this filter Computer Science Remove this filter

and

  1. Article

    Open Access

    Rigorous engineering of collective adaptive systems – 2nd special section

    An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...

    Martin Wirsing, Stefan Jähnichen… in International Journal on Software Tools fo… (2023)

    Download PDF (497 KB)

  2. Article

    Open Access

    Rigorous engineering of collective adaptive systems: special section

    An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...

    Rocco De Nicola, Stefan Jähnichen… in International Journal on Software Tools fo… (2020)

    Download PDF (242 KB) View Article

  3. 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)

  4. 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)

  5. No Access

    Article

    Editorial

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

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

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