Vers une démarche de vérification formelle d’architectures logicielles: Architectures logicielles (Omn.Univ.Europ.)
Ein theoretisches Handbuch, das formale Prüfmethoden für Softwarearchitekturen einführt und zeigt, wie mathematische Modelle zur Nachweisführung v ...