Formal Methods in Standards: A Report from the Bcs Working Group - Softcover

Inhaltsangabe

Dieser Bericht wurde von der Arbeitsgruppe Formal Methods in Standards der British Computer Society erstellt. Diese Gruppe wurde gegründet, um die praktische Anwendung formaler Methoden zur Verbesserung der Qualität der Standards in Computersystemen und Software zu fördern. Der Bericht identifiziert Fragen, die sich auf die Einführung formaler Methoden in die Entwicklung und Ausarbeitung von Standards beziehen, und enthält allgemeine Leitlinien für die Anwendung formaler Methoden für diejenigen, die in verschiedenen Normenbereichen arbeiten.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.