Eine Vielzahl von Untersuchungen zeigen, dass Fehler in der Anforderungsspezifikation zu erheblichen negativen Konsequenzen sowohl im Entwicklungsprozess eines Systems als auch im Systembetrieb fuhren konnen. Fehler in der Anforderungsspezifikation sind dabei oftmals auf Koharenzbruche gegenuber dem operationellen Kontext zuruckzufuhren, d.h. auf ungultige oder unvollstandige Annahmen uber die Umgebung, in der das System betrieben werden soll. Im vorliegenden Buch wird mit dem ContextML-Ansatz ein Verfahren vorgestellt, das es erlaubt, werkzeugunterstutzt Koharenzbruche in der Verhaltensspezifikation von softwareintensiven Systemen gegenuber dem operationellen Kontexts aufzudecken."