Prinzipien des Softwaredesigns

Fußnoten

KAPITEL 4 Module sollten tief sein

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.

KAPITEL 5 Information Hiding (und Lecks)

1David Parnas, ...