Jeanin Jügler < Jeanine Souquières < Jeanne Fresson

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 102.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000120 (2008-11-03)	Jeanine Souquières	A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles
000246 (2000)	Maritta Heisel ; Jeanine Souquières	A Heuristic Algorithm to Detect Feature Interactions in Requirements
000249 (1998)	Maritta Heisel ; Jeanine Souquières	A Heuristic Approach to Detect Feature Interactions in Requirements
000302 (2006)	Denis Hatebur ; Maritta Heisel ; Jeanine Souquières	A Method for Component-Based Software and System Development
000305 (1999)	Maritta Heisel ; Jeanine Souquières	A Method for Requirements Elicitation and Formal Specification
000306 (2000)	Jeanine Souquières ; Maritta Heisel	A Method for Systematic Requirements Elicitation: Application to the Light Control System
000308 (1998)	Maritta Heisel ; Jeanine Souquières	A Method to Express Requirements and Transform them into a Formal Specification
000490 (2006)	Arnaud Lanoix ; Jeanine Souquières	A Step-by-step Process to Build Conform UML Protocol State Machines
000982 (2008-01-31)	Samuel Colin ; Arnaud Lanoix ; Atif Mashkoor ; Jeanine Souquières	A synthesis of existing approaches to specify non-functional properties
000983 (1999)	Eric Meyer ; Jeanine Souquières	A systematic approach to transform OMT diagrams to a B specification
000A70 (1998)	Thomas Lambolais ; Jeanine Souquières	Achieving Qualities During the Development of LOTOS Specifications
000B37 (2003)	Maritta Heisel ; Jeanine Souquières	Adding Features to Component-Based Systems
000B42 (2004)	Maritta Heisel ; Jeanine Souquières	Adding feature to component-based systems
000D36 (2006-05-18)	Arnaud Lanoix ; Dieu Donné Okalas Ossami ; Jeanine Souquières	An Operator-based Approach to Incremental Development of Conform Protocol State Machines
000D66 (2003)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
000D67 (2004)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
001283 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Boo - A formal approach to specification and verification of object-oriented system
001461 (2006)	Ninh Thuan Truong ; Jeanine Souquières	Checking Consistency of UML state and sequence diagrams using B
001706 (2006-07-03)	Inès Mouakher ; Arnaud Lanoix ; Jeanine Souquières	Component Adaptation: Specification and Verification
001714 (2006-07-13)	Arnaud Lanoix ; Jeanine Souquières	Component-based Development using the B method
001853 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Consistency checking of UML static diagrams using B

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Jeanine Souquières" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Jeanine Souquières" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Jeanine Souquières
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022