Filtrer vos résultats
- 4
- 1
- 3
- 2
- 5
- 1
- 1
- 2
- 1
- 5
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Model-driven Generative Development of Measurement SoftwareSoftware and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
Article dans une revue
inria-00504670v1
|
||
|
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationModel Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès
hal-00470523v1
|
||
|
Automated Measurement of Models of RequirementsSoftware Quality Journal, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
Article dans une revue
hal-00646876v1
|
||
Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésConférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
Communication dans un congrès
hal-00517222v1
|
|||
|
Trust in MDE Components: the DOMINO ExperimentSD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
Communication dans un congrès
inria-00555044v1
|