Structured Object-Oriented Formal Language and Method

Ein Fachband aus dem fünften SOFL+MSVL‑Workshop in Paris, der aktuelle Forschung zu formalen Methoden für objektorientierte Systeme zusammenfasst; enthält überarbeitete Beiträge zur Spezifikation, Modellierung und Verifikation komplexer Softwaresysteme.

Teilen: