Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

5 Résultats
authFullName_s : Benoit Baudry
Image document

Model-driven Generative Development of Measurement Software

Martin Monperrus , Jean-Marc Jézéquel , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener
Software and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
Article dans une revue inria-00504670v1
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
Model 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
Image document

Automated Measurement of Models of Requirements

Martin Monperrus , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener , Jean-Marc Jézéquel
Software 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és

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
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
Communication dans un congrès hal-00517222v1
Image document

Trust in MDE Components: the DOMINO Experiment

Benoit Baudry , Pierre Bazex , Jean-Charles Dalbin , Philippe Dhaussy , Hubert Dubois , et al.
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
Communication dans un congrès inria-00555044v1