|
||
---|---|---|
hal-00471931v1
Communication dans un congrès
USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1 |
||
tel-00728431v1
Thèse
Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français |
||
hal-00635555v1
Communication dans un congrès
Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand |
||
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-00517270v1
Communication dans un congrès
Automatic Formal Model Derivation from Use Cases 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne |
||
hal-00569028v1
Communication dans un congrès
Automating Context Description for Software Formal Verification Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway |
||
hal-00635763v1
Communication dans un congrès
Modèles orientés utilisateurs pour la vérification formelle en contexte industriel IDM'11, Jun 2011, Lille, France |
||
hal-00635904v1
Communication dans un congrès
User context models : a framework to ease software formal verifications ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal |
||
hal-00636875v1
Communication dans un congrès
Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam |
||
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⟩ |
||
hal-00744434v1
Article dans une revue
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩ ![]() |
||
hal-00470512v1
Communication dans un congrès
From Requirements to Code Revisited 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩ |
||
|