Kohrenzprfung von Anforderungsspezifikationen

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.