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

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000826 (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
000841 (2002)	Jean-Raymond Abriall ; Dominique Cansell [France] ; Guy Laffitte [France]	"higher-order" mathematics in B
000977 (2000)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]	Predicate diagrams for the verification of reactive systems
000978 (2000)	D. Cansell [France] ; D. Mery [France]	Playing with abstraction and refinement for managing features interactions : A methodological approach to feature interaction problem
000A01 (2000)	P. Gibson [Irlande (pays)] ; D. Mery [France]	Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach
000A23 (2000)	Eric Meyer [France] ; Thomas Santen [Allemagne]	Behavioral conformance verification in an integrated approach using UML and B
000A53 (1999)	M. Heisel [Allemagne] ; J. Souquieres [France]	De l'élicitation des besoins à la spécification formelle
000B02 (1999)	H. Kirchner [France] ; P. D. Mosses [États-Unis]	Algebraic specifications, higher-order types, and set-theoretic models
000B04 (1999)	E. Meyer [France] ; J. Souquieres [France]	A systematic approach to transform OMT diagrams to a B specification
000B07 (1999)	M. Heisel [Allemagne] ; J. Souquieres [France]	A method for requirements elicitation and formal specification
000B17 (1998)	B. Mermet [France] ; D. Mery [France] ; D. Samborski [France]	Spécifications de services : une approche avec B
000B26 (1998)	T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]	Assistance au développement de spécifications de protocoles de communication
000B35 (1998)	J.-F. Petin [France] ; G. Morel [France] ; D. Mery [France] ; P. Lamboley [France]	Process control engineering : Contribution to a formal structuring framework with the B method
000B44 (1998)	B. Gramlich [France]	Modular aspects of rewrite-based specifications
000B72 (1998)	P.-E. Moreau [France] ; H. Kirchner [France]	A compiler for rewrite programs in associative-commutative theories
000C21 (1997)	N. Levy [France] ; J. Souquieres [France]	Modelling specification construction by successive approximations
000C31 (1997)	B. Chetali [États-Unis] ; B. Heyd [États-Unis]	Formal verification of concurrent programs in LP and in COQ : A comparative analysis
000C73 (1996)	A. Bouhoula [France]	Using induction and rewriting to verify and complete parameterized specifications
000C83 (1996)	J. Souquieres [France] ; N. Levy [France]	PROPLANE : A specification development environment

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i -k "Spécification formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Spécification formelle" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

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