Maintaining Consistency across Engineering Artifacts

Abstract

Software and systems engineering combine artifacts from diverse domains and tools. This article explores how incremental consistency checking is able to automatically and continuously detect inconsistencies among these artifacts.