Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

1. Welcher Aspekt einer Software wird mit einer Spezikation beschrieben?
Die Spezifikation beschreibt das Verhalten des Softwaresystems.

2. Welche Anforderungen gibt es an gute Spezikationsmethoden?
Verständliche und  uberschaubare Spezikationstexte
Präzise und eindeutige Semantik
Abstraktion von irrelevanten Details
Erlernbarkeit
Problem-Angemessenheit

3. Welche positiven und negativen Aspekte hat die Entwicklung einer formalen Spezifikation?
+ Kann zus atzliche Erkenntnisse vermitteln
+ Eindeutigkeit, Chance auf Verizierbarkeit (Vollst andigkeit, Widerspruchsfreiheit, Redundanz)
- Handhabbarkeit und Anwendbarkeit auf Probleme relevanter Komplexit at

4. Welcher Schluss ergibt sich daraus?
=> Formale Spezifikationen sind insbesondere sinnvoll bei Anwendung auf wichtigen und schwierigen Anforderungen (Security, Safety) und besonders kritischen
Systemteilen (Protokolle, Modulschnittstellen). Bei gr osseren 'Projekten' ergibt
sich die Notwendigkeit von Werkzeug-Unterst  utzung.