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