axml < b < b

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by b

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
005F93 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of behavioral elements of UML models using B
006731 (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
006831 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Boo - A formal approach to specification and verification of object-oriented system
006958 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Consistency checking of UML static diagrams using B
006980 (2004)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
006A12 (2004)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Concepts importants à la construction de spécifications multi-vues UML et B
006E59 (2004)	Dominique Cansell [France] ; Dominique Méry [France]	Tutorial on the event-based B method : Concepts and Case Studies
007032 (2004)	Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]	Developing UML and B specification using operators : an application to the data refinement
007471 (2003)	Hung Ledang ; Jeanine Souquieres ; Sebastien Charles	ArgoUML+B : un outil de transformation systématique de spécifications UML en B
007657 (2003)	Hung Ledang ; Jeanine Souquieres	Transformation systématique de spécifications UML en B
007750 (2003)	Ninh-Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
007874 (2003)	Dominique Cansell [France] ; Dominique Méry	Foundations of the B method
008106 (2002)	Hung Ledang	Traduction Systématique de Spécifications UML vers B
008515 (2002)	Nicole Levy ; Rafael Marcano-Kamenoff ; Jeanine Souquières	From Requirements to Formal Specification Using UML and B
008605 (2002)	Hervé Panetto ; Jean-François Petin ; Dominique Méry [France]	Formalisation of enterprise modelling standards using UML and the B method
008B38 (2002)	Nicole Lévy [France] ; Rafael Marcano Kamenoff [France] ; Jeanine Souquières [France]	From Requirements to Formal Specification Using UML and B
009904 (2000)	Eric Meyer ; Jeanine Souquières	Le paradigme objet pour l'aide au développement de spécifications formelles B
009956 (2000)	Dominique Cansell [France] ; Dominique Méry [France]	Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
009987 (2000)	Eric Meyer ; Thomas Santen	Behavioral conformance verification in an integrated approach using UML and B
009B28 (2000)	Rafael Marcano Kamenoff ; Eric Meyer ; Nicole Levy ; Jeanine Souquières	Utilisation de patterns dans la construction de specifications en UML et B
00A162 (2000)	Dominique Cansell [France] ; Dominique Méry [France]	Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "b" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "b" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    b
}}

---

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