![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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: ...
-
Article
Manifest: Strategische Bedeutung des Software Engineering für die Medizin
-
Article
Editorial
-
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.
-
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...