Spezifikation von Software-Modulen

Das Entwickeln, Verstehen und Ändern komplexer Software-Systeme ist schwierig. Wenn eine Software nicht aus präzise voneinander abgegrenzten Teilen besteht, ist sie kaum wartbar. Es ist deshalb notwendig und auch üblich, Systeme zu modularisieren. Der Begriff Modul wird oft gleichbedeutend zu Paket, Komponente, Einheit und sogar Service verwendet. Ein Modul ist ein Teil einer Software, der zusammengehörige Elemente zu einer Einheit kapselt. Es ist ein Mittel der Software-Architektur, mit dem eine Software auf einer hohen Abstraktionsebene strukturiert werden kann. Diese Arbeit untersucht die Frage, wie Entwickler Module spezifizieren und dokumentieren können. Sie stellt ein neues Prozessmodell vor, mit dem Module präzise und praxisgerecht beschrieben werden können.