Employing the Object Constraint Language in Model-Based Engineering

Gogolla, Martin1
1University of Bremen

Tóm tắt

MBE (Model-Based Engineering) proposes to develop software by taking advantage of models, in contrast to traditional code-centric development approaches. If models play a central role in development, model properties must be formulated and checked early on the...