Key points are not available for this paper at this time.
Die Technologie der formalen Spezifikation muss Konstruktionsmethoden für die Entwicklung, Analyse und Evolution von Spezifikationen bereitstellen. Formale Spezifikationen müssen vollständig in andere Softwareprodukte und -prozesse über den gesamten Software-Lebenszyklus integriert werden. Spezifikationstechniken sollten von funktionalem Design zu Anforderungsengineering übergehen; daher müssen höherstufige, problemorientierte Ontologien unterstützt werden, anstelle von programmbasierten. Der Umfang der formalen Spezifikation und Analyse muss erweitert werden, um nicht-funktionale Anforderungen abzudecken, die eine herausragende Rolle im architektonischen Design spielen -- wie Leistung, Sicherheit, Fehlertoleranz, Genauigkeit, Wartbarkeit usw. Die Technologie von morgen wird leichte Schnittstellen für multiparadigmatische Spezifikation und Analyse bereitstellen.
Axel van Lamsweerde (Mo,) untersuchte diese Frage.