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.
[0-20] [0 - 20][0 - 39][20-38][20-40]

Ident.	Authors (with country if any)	Title
000003 (2014)	Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada]	Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis
000031 (2013)	Florent Delomier [France] ; Bertrand David [France] ; Cyril Benazet [France] ; René Chalon [France]	Learning Games Collaboratifs Contextualisés: Conception et mise en œuvre
000069 (2013)	K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique]	Dynamic angle selection in binary tomography
000073 (2013)	Véronique Cortier [France] ; Ben Smyth [France]	Attacking and fixing Helios: An analysis of ballot secrecy
000263 (2008)	Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]	Développement formel par composants : Assemblage et vérification à l'aide de B
000294 (2007)	Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]	Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
000333 (2006)	NINH THUAN TRUONG [France] ; Jeanine Souquieres [France]	Verification of UML model elements using B : Software Engineering and Software
000339 (2006)	Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]	Time constraint patterns for event B development
000348 (2006)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]	Specification and refinement of mobile systems in MTLA and mobile UML
000370 (2006)	Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France]	Modelling and proof analysis of interrupt driven scheduling
000375 (2006)	Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]	Integration of security policy into system modeling
000428 (2005)	Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]	Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement
000459 (2005)	Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]	Refinement and reachability in Event―B
000508 (2005)	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally sound implementations of equational theories against passive adversaries
000509 (2005)	Yann Zimmermann [France] ; Diana Toma [France]	Component reuse in B using ACL2
000701 (2003)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	Formal derivation of spanning trees algorithms
000765 (2002)	Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France]	Toward a formal model of software components
000767 (2002)	M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France]	The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration
000801 (2002)	Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France]	Incremental proof of the producer/consumer property for the PCI protocol
000817 (2002)	HUNG LEDANG [France] ; Jeanine Souquieres [France]	Contributions for modelling UML state-charts in B
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

---

List of associated Author.i

Nombre de documents	Descripteur
9	Dominique Cansell
7	Dominique Méry
6	J. Souquieres
4	D. Mery
4	Jeanine Souquieres
3	N. Levy
2	H. Kirchner
2	Jean-Raymond Abrial
2	M. Heisel
2	P.-E. Moreau
2	Stephan Merz
2	Thomas Santen
2	Véronique Cortier
1	A. Bouhoula
1	Abdessamad Imine
1	Airy Weinzoepflen
1	Akram Idani
1	Alejandro Quintero
1	Alexander Knapp
1	Andrzej Tarlecki
1	Arnaud Lanoix
1	Aurel Randolph
1	B. Chetali
1	B. Gramlich
1	B. Heyd
1	B. Mermet
1	Ben Smyth
1	Bernd Krieg-Brückner
1	Bertrand David
1	Bill Stoddart
1	C. Ringeissen
1	Cyril Benazet
1	Cyril Proch
1	D. Cansell
1	D. Samborski
1	Diana Toma
1	Didier Bert
1	Donald Sannella
1	E. Meyer
1	Egidio Astesiano
1	Eric Meyer
1	Florent Delomier
1	Frank Zeyda
1	G. Morel
1	Ganesh Gopalakrishnan
1	Guy Laffitte
1	HUNG LEDANG
1	Hanifa Boucheneb
1	Hélène Kirchner
1	J.-F. Petin
1	Jan Sijbers
1	Jean-Raymond Abriall
1	Joris Rehm
1	Julia Zappe
1	K. Joost Batenburg
1	M. G. J. Van Den Brand
1	Maritta Heisel
1	Martin Wirsing
1	Mathieu Baudet
1	Michel Bidoit
1	Mike Jones
1	NINH THUAN TRUONG
1	Nazim Benaïsa
1	P. D. Mosses
1	P. Gibson
1	P. Lamboley
1	Peter Balazs
1	Peter D. Mosses
1	René Chalon
1	Samuel Colin
1	Steve Kremer
1	T. Lambolais
1	Willem Jan Palenstijn
1	Yann Zimmermann
1	Yves Ledru

---

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.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=    FC03.fr.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