CoboCards App FAQ & Wünsche Feedback
Sprache: Deutsch Sprache
Kostenlos registrieren  Login

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

Alle Oberthemen / Informatik / Softwarekonstruktion / SWK
55
Foliensatz 3.3
Zusammenfassung algebraische Spezifikation Übung 6
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.
Tags: spezifikation
Quelle:
Neuer Kommentar
Karteninfo:
Autor: Annika
Oberthema: Informatik
Thema: Softwarekonstruktion
Schule / Uni: TU Dortmund
Veröffentlicht: 19.03.2014

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English