Perfect Developer (PD) ist ein Werkzeug zur rigorosen Entwicklung von Computerprogrammen. Es wird verwendet, um Anwendungen in Bereichen wie IT-Systemen und kritischen Systemen in der Luft zu entwickeln. Das Prinzip besteht darin, eine formale Spezifikation zu entwickeln und die Spezifikation auf Code zu verfeinern. Obwohl das Tool auf formalen Methoden basiert, behaupten die Anbieter, dass fortgeschrittenes mathematisches Wissen keine Voraussetzung ist.
PD unterstützt das Paradigma Verified by Design, das eine Erweiterung von Design by Contract ist. In Verified Design by Contract werden die Verträge durch statische Analyse und automatisierte Theoremprüfung überprüft, sodass sichergestellt ist, dass sie zur Laufzeit nicht ausfallen.
Die verwendete Spezifikation Perfect hat einen objektorientierten Stil und erzeugt Code in Programmiersprachen einschließlich Java, C # und C ++. Es wurde von der britischen Firma Escher Technologies Ltd entwickelt. Sie stellen auf ihrer Website fest, dass ihre Behauptung nicht ist, dass die Sprache selbst perfekt ist, sondern dass damit Code erzeugt werden kann, der eine genaue Spezifikation perfekt umsetzt.
Siehe auch [ edit ]
Externe Links [ edit
No comments:
Post a Comment