October 2021
Intermediate to advanced
192 pages
5h 47m
German
1Es gibt Sprachen – vor allem innerhalb der Forschungsgemeinde –, bei denen das vollständige Verhalten einer Methode oder Funktion formal durch eine Spezifikationssprache beschrieben werden kann. Die Spezifikation kann automatisch geprüft werden, um sicherzustellen, dass sie der Implementierung entspricht. Eine interessante Frage ist, ob solch eine formale Spezifikation die informellen Teile einer Schnittstelle ersetzen könnte. Aktuell bin ich der Meinung, dass eine in natürlicher Sprache beschriebene Schnittstelle vermutlich intuitiver und für die Entwicklung verständlicher ist als eine, die in einer formalen Spezifikationssprache geschrieben ist.
1David Parnas, ...
Read now
Unlock full access