- Softwareprojekte bestehen aus Teilen
(Modulen, Komponenten), die getrennt
spezifiziert, implementiert, angewendet werden.
- Programmiersprache sollte Entwicklung
von Teilprogrammen unterstützen
- getrennte Typprüfung/Kompilation von Modulen:
benötigt Spezifikation von anderen Modulen.
Designfrage: Spezifikation von
Implementierung trennen?
- Ja: Ada (.ads/.adb), C (.h/.c)
- Nein: Java, C#
2010-02-04
