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 / Softwaretechnik / Softwaretechnik 1
75
73. Was ist Spezifizieren? Was wird spezifiziert? Welche Arten der Spezifikation kennen Sie? Welche ist die Beste?
Spezifizieren ist das Präzisieren von Anforderungen, die an einen Baustein für dessen Realisierung und dessen Benutzung gestellt werden.
    * Man kann
          o natürlichsprachlich oder
          o formal spezifizieren.
                + Die algebraische und die konstruktive Spezifikation sind zwei Schulen der formalen Spezifikation.

    * Auf breiter Front durchgesetzt hat sich (unter anderem durch den Zeitdruck Software schnell zur Marktreife zu bringen) einzig die natürlichsprachliche Spezifikation.
    * Formale Methoden wurden jedoch erfolgreich bei kritischen Systemen, etwa zur Überwachung des Luftverkehrs, bei Signalsystemen für den Schienenverkehr, Raumfahrtsystemen oder medizinischen Kontrollsystemen eingesetzt. [Sommerville]
Neuer Kommentar
Karteninfo:
Autor: noobMan
Oberthema: Informatik
Thema: Softwaretechnik
Veröffentlicht: 02.02.2010

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English