Jeanine Souquieres < Jeanine Souquières < Jeff Caers

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000033 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Un outil support pour prendre en compte des propriétés objets de réciprocité en B
000035 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Prise en compte des propriétés objets de réciprocité en B
000228 (2005)	Samir Chouali ; Maritta Heisel ; Jeanine Souquières	Proving Component Interoperability with B Refinement
000229 (2005)	Samir Chouali ; Maritta Heisel ; Jeanine Souquières	Proving Component Interoperability with B Refinement
000298 (2005)	Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine Souquières	Development of objectoriented and formal multi-view specifications
000366 (2005)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Consistency in UML and B multi-view specifications
000367 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Test of object-based specifications using B notations
000441 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of behavioral elements of UML models using B
000442 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Validation of UML static diagrams using B
000493 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of UML model elements using B
000592 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
000600 (2004)	Maritta Heisel ; Jeanine Souquières	Spécification de composants pour assurer leur interopérabilité
000647 (2004)	Maritta Heisel ; Jeanine Souquières	Adding feature to component-based systems
000659 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Boo - A formal approach to specification and verification of object-oriented system
000716 (2004)	Maritta Heisel ; Jeanine Souquières	Specifying Components for Checking Interoperability
000777 (2004)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Opérations de construction de spécification multi-vues UML et B
000786 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Consistency checking of UML static diagrams using B
000808 (2004)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
000840 (2004)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Concepts importants à la construction de spécifications multi-vues UML et B
000956 (2003)	Ninh Thuan Truong ; Jeanine Souquières	Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
000981 (2003)	Jeanine Souquières ; Maritta Heisel	Formalisation des besoins à l'aide de schémas LSCs

---

List of associated KwdEn.i

Nombre de documents	Descripteur
17	uml
11	b
9	specification
8	b method
7	formal specification
6	class operation
6	method
6	verification
5	b operation
5	requirements elicitation
4	Development
4	event
4	ocl
4	requirements
3	b abstract machine
3	communication protocols
3	consistency
3	development operator
3	metamodel
3	methods
3	operator
3	proof obligation
3	reuse
2	activity
2	b expression
2	component
2	component interoperability
2	construction
2	development step
2	formal specifications
2	formalisation
2	integrated methods
2	interactions
2	interoperability
2	multi-paradigm
2	multi-view
2	process
2	proplane model
2	use case
2	validation
2	well-formedness rules
1	ATM example
1	Agenda
1	B
1	Feature interaction
1	Formal Methods
1	Formal specification
1	LOTOS
1	Lotos
1	PROPLANE
1	Requirement elicitation
1	Requirements
1	Reuse
1	Software Development
1	Tactics
1	UML
1	acces control case study
1	agenda
1	approach
1	b
1	b abstract machine (bam)
1	b abstract machine(bam)
1	b formal method
1	b generalised substitution.
1	b substitution
1	behavioural elements
1	componant
1	component model
1	components
1	composants
1	contraints.
1	coupling UML and B
1	coupling uml and b
1	data model
1	development process
1	development schema
1	feature
1	feature interaction
1	feature interactions
1	formal specifications
1	formal and semi-formal methods
1	formalization
1	integration
1	interaction
1	intégration uml et b
1	javabeans
1	layered division of class operations
1	life cycle
1	logiciel
1	lscs
1	methodologie
1	multi-views specification
1	multi-views specification.
1	object oriented development.
1	object-oriented system
1	ocl expression
1	ocl operation
1	omt
1	opération de construction
1	pattern

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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