A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Since models,doi:10.5445/ir/1000045654 fatcat:ssbtabuclfcx7fsnak2iicodf4