Spécification algébrique < Spécification formelle < Spécification modèle

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 Spécification formelle

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

Ident.	Authors (with country if any)	Title
008923 (2002)	Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne]	CASL: the Common Algebraic Specification Language
008933 (2002)	Jean-Raymond Abriall ; Dominique Cansell [France] ; Guy Laffitte [France]	"higher-order" mathematics in B
009E44 (2000)	Dominique Cansell [France] ; Dominique Méry [France]	Playing with Abstraction and Refinement for Managing Features Interactions
009E94 (2000)	Paul Gibson [Irlande (pays)] ; Dominique Méry [France]	Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
009F29 (2000)	Eric Meyer [France] ; Thomas Santen [Allemagne]	Behavioral Conformance Verification in an Integrated Approach Using UML and B
009F87 (2000)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]	Predicate diagrams for the verification of reactive systems
00AA54 (1999)	Eric Meyer [France] ; Jeanine Souquières [France]	A Systematic Approach to Transform OMT Diagrams to a B Specification
00AA60 (1999)	Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	A Method for Requirements Elicitation and Formal Specification
00AA88 (1999)	M. Heisel [Allemagne] ; J. Souquieres [France]	De l'élicitation des besoins à la spécification formelle
00AB02 (1999)	H. Kirchner [France] ; P. D. Mosses [États-Unis]	Algebraic specifications, higher-order types, and set-theoretic models
00B331 (1998)	Jean François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France]	Process control engineering: Contribution to a formal structuring framework with the B method
00B346 (1998)	Bernhard Gramlich [France]	Modular aspects of rewrite-based specifications
00B402 (1998)	Pierre-Etienne Moreau [France] ; Hélène Kirchner [France]	A compiler for rewrite programs in associative-commutative theories
00B416 (1998)	B. Mermet [France] ; D. Mery [France] ; D. Samborski [France]	Spécifications de services : une approche avec B
00B425 (1998)	T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]	Assistance au développement de spécifications de protocoles de communication
00BC33 (1997)	Nicole Lévy [France] ; Jeanine Souquières [France]	Modelling specification construction by successive approximations
00BC53 (1997)	Boutheina Chetali [France] ; Barbara Heyd [France]	Formal verification of concurrent programs in L p and in C oq : A comparative analysis
00BF30 (1996)	Adel Bouhoula [France]	Using induction and rewriting to verify and complete parameterized specifications
00C035 (1996)	Jeanine Souquières [France] ; Nicole Lévy [France]	Proplane: A specification development environment

---

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/PascalFr.i -k "Spécification formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Spécification formelle" \
         | 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=    PascalFr.i
   |clé=    Spécification formelle
}}

---

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