|
 
|
[DFG13] Research Questions for Validation and Verification in the Context of Model-Based Engineering
Atelier, Poster ou Démonstration dans une Conférence Internationale : Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), satellite event of MODELS 2013, October 2013, pp.10 pages, Miami, Floride, USA,
motcle:
Résumé:
In model-based engineering (MBE), the abstraction power
of models is used to deal with the ever increasing complexity of modern
software systems. As models play a central role in MBE-based develop-
ment processes, for the adoption of MBE in practical projects it becomes
indispensable to introduce rigorous methods for ensuring the correctness
of the models. Consequently, much e ort has been spent on developing
and applying validation and veri cation (V&V) techniques for models.
However, there are still many open challenges.
In this paper, we shortly review the status quo of V&V techniques in
MBE and derive a catalogue of open questions whose answers would
contribute to successfully putting MBE into practice.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| DFG13, | |||
| title | = | "{Research Questions for Validation and Verification in the Context of Model-Based Engineering}", | |
| author | = | " C. Dubois and M. Famelis and M. Gogolla and L. Nobrega and I. Ober and . Seidl and M. Völter ", | |
| booktitle | = | "{Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), satellite event of MODELS 2013}", | |
| year | = | 2013, | |
| month | = | "October", | |
| pages | = | "10 pages", | |
| address | = | "Miami, Floride, USA", | |
| } | |||
