2

The Role of Formalism in System Requirements
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …
PDF Cite DOI
Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems
At the heart of cyber-physical and ambient systems, the user should permanently benefit from applications adapted to the situation and …
PDF Cite DOI
A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
Cite DOI
Comparing and classifying model transformation reuse approaches across metamodels
PDF Cite DOI
Toward model-driven sustainability evaluation
PDF Cite DOI
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
PDF Cite
On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report
This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) …
PDF Cite
A contract-based method to specify stimulus-response requirements
A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the …
PDF