- 16
Jeanine Souquières
16
Documents
Présentation
souquieres
Publications
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 10
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 8
- 4
- 4
|
Développement formel par composants : assemblage et vérification à l'aide de BRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩
Article dans une revue
hal-00180972v1
|
|
Trustworthy Assembly of Components using B Refinemente-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p
Article dans une revue
hal-00123997v2
|
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Communication dans un congrès
hal-00261630v1
|
|
Using CSP||B Components: Application to a Platoon of Vehicles13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Communication dans un congrès
hal-00286431v1
|
|
Trustworthy interface compliancy: data model adaptation using B refinementFormal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p
Communication dans un congrès
hal-00123884v2
|
|
Schémas de développement d'adaptateurs à l'aide de BApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108
Communication dans un congrès
hal-00131340v1
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Communication dans un congrès
hal-00123999v1
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès
inria-00001263v1
|
|
Component Adaptation: Specification and Verification11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
Communication dans un congrès
inria-00074477v1
|
Model for the Land Transport Domain2008
Autre publication scientifique
hal-00344882v1
|
|
Requirements for the Description of Component Assembling2008
Autre publication scientifique
hal-00344884v1
|
|
A synthesis of existing approaches to specify non-functional properties2008
Autre publication scientifique
hal-00344883v1
|
|
Validation technique des sous-systèmes2008
Autre publication scientifique
hal-00343549v1
|
|
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.02007
Autre publication scientifique
hal-00181250v1
|
|
|
Component-based Development using the B method2006
Autre publication scientifique
hal-00105041v1
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006
Pré-publication, Document de travail
hal-00019314v1
|