D. Léonard < D. Méry < D. Neuenschwander

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
002B11 (1995)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
002F72 (1994)	D. Méry ; D. Roegel	Refining Formal Specifications to Get Efficient, and Correct Concurrent Programs
003019 (1994)	A. Mokkedem ; D. Méry	A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
003243 (1993)	D. Méry	Une méthode de raffinement et de développement pour la programmation parallèle - Contribution à l'étude du raffinement de programmes parallèles - Une approche fondée sur le concept de preuve
003308 (1993)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
003357 (1993)	A. Mokkedem ; D. Méry	On Using a Composition Principle to Design Parallel Programs
003385 (1993)	N. Brown ; D. Méry	Towards an Integrated Environment for Concurrent Programs Development
003416 (1993)	N. Brown ; D. Méry	A Proof Environment for Concurrent Programs
003483 (1993)	N. Brown ; D. Méry	Formal Development of C-Linda Programs
003609 (1992)	D. Méry ; A. Mokkedem	Crocos : an integrated environment for interactive verification of SDL specifications
003613 (1992)	D. Méry ; A. Mokkedem	Crocos : un environnement de preuve interactive de spécifications sdl
003624 (1992)	D. Méry	Tne NU System as a Development System for Concurrent Programs : delta NU
003655 (1992)	N. Brown ; D. Méry	Deriving Occam Programs through the Refinement of Unity-like Specifications
003721 (1992)	N. Brown ; D. Méry	Computer-Aided Environment for the Development of Concurrent Programs
003745 (1992)	F. Carrez ; D. Méry	Specification and derivation of process networks
003753 (1992)	D. Méry	Proving and developing concurrent programs : a small system
003793 (1992)	D. Méry ; A. Mokkedem ; D. Roegel	CROCOS : un environnement de preuve interactive de spécifications SDL
003941 (1991)	N. Brown ; D. Méry	Deriving OCCAM Programs through the Transformation of UNITY-like Specifications
003A26 (1991)	D. Méry ; A. Mokkedem	A Proof Environment for a Subset of SDL
003B17 (1990)	D. Méry	The {\cal NU} System as a Development System for Concurrent Programs : δ{\cal NU}
003C11 (1990)	D. Méry	Proving and Developing Concurrent Programs : A Small System

---

List of associated KwdEn.i

Nombre de documents	Descripteur
5	concurrency
4	refinement
3	Unity
3	mapping
3	specification
3	unity
2	Occam
2	correctness
2	development
2	process networks
2	program verification
2	proofs
2	semantics
1	Automated theorem proving
1	B-Tool
1	Centaur
1	Formal methods
1	Formal program development
1	Mappings
1	OCCAM
1	Parallelization techniques
1	SCCS
1	SDL-specifications
1	Specification
1	Statecharts
1	UCL
1	Verification
1	a
1	abstract data type
1	automated theorem proving
1	b-tool
1	behaviour
1	concurrent programming
1	fairness
1	formal specification
1	formal specifications
1	implementation
1	invariance and eventuallity properties
1	linda
1	methodology
1	parallel programming
1	parallelism
1	proof
1	reactive system
1	real time
1	scenario
1	statecharts
1	temporal logic
1	temporal logics
1	transformation
1	verification
1	weakest preconditions

---

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 "D. Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "D. Méry" \
         | 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é=    D. Méry
}}

---

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