CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / 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
Source:
New comment
Flashcard info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English