Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
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]
* 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]