Kohärenzprüfung von Anforderungsspezifikationen
Ein Ansatz zur Prüfung der Kohärenz von Verhaltensspezifikationen gegen Eigenschaften des operationellen Kontexts
Paperback
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
89,90 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9783838126395
Veröffentl:
2015
Einband:
Paperback
Erscheinungsdatum:
02.07.2015
Seiten:
240
Autor:
Thorsten Weyer
Gewicht:
375 g
Format:
220x150x15 mm
Sprache:
Deutsch
Beschreibung:
Eine Vielzahl von Untersuchungen zeigen, dass Fehler in der Anforderungsspezifikation zu erheblichen negativen Konsequenzen sowohl im Entwicklungsprozess eines Systems als auch im Systembetrieb führen können. Fehler in der Anforderungsspezifikation sind dabei oftmals auf Kohärenzbrüche gegenüber dem operationellen Kontext zurückzuführen, d.h. auf ungültige oder unvollständige Annahmen über die Umgebung, in der das System betrieben werden soll. Im vorliegenden Buch wird mit dem ContextML-Ansatz ein Verfahren vorgestellt, das es erlaubt, werkzeugunterstützt Kohärenzbrüche in der Verhaltensspezifikation von softwareintensiven Systemen gegenüber dem operationellen Kontexts aufzudecken.
Kunden Rezensionen
Folgen Sie uns auf:
