Max Kramer

Change-Driven Consistency for Component Code, Architectural Models, and Contracts

2015

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 …