Eisenbarth, Michael2023-04-262023-04-262009https://dl.gi.de/handle/20.500.12116/41316deTraceChange - Ein Werkzeug zur automatisierbaren Konsistenzüberprüfung von Anforderungsdokumenten mit Hilfe formaler VerfolgbarkeitsmodelleText/Journal Article0720-8928