- dynamische Eigenschaften als statische
Eigenschaften formulieren (aussagefähige Typen verwenden)
- verbleibende nicht-statische Eigenschaften:
- in einer Spezifikationssprache formulieren
und beweisen (Coq für ML, Anna für Ada)
- in der Programmiersprache selbst formulieren
und testen (Unit-Tests)
- in einer natürlichen Sprache formulieren
(Javadoc)
Johannes Waldmann
2011-07-07
