referring to objects < refinement < refinement approach

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000004 (1983)	E. Dubois ; J.-P. Finance ; N. Lévy ; A. Van Lamsweerde	Specification techniques for large information systems
000924 (1990)	F. Carrez ; D. Méry	Specification and Derivation of Process Networks
000B45 (1991)	N. Brown ; D. Méry	Deriving OCCAM Programs through the Transformation of UNITY-like Specifications
000D48 (1992)	N. Brown ; D. Méry	Deriving Occam Programs through the Refinement of Unity-like Specifications
000D66 (1992)	G.-R. Perrin ; J.-P. Finance	Communication Relations : A Paradigm for Parallel Program Design
001357 (1994)	G. Smith	A Development Framework for Object-Oriented Specification and Refinement
001969 (1995)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
001C30 (1996)	J. Jaray ; A. Mahjoub	Une méthode itérative de construction d'un modèle de système réactif
001E51 (1997)	Denis Roegel	Study of the Semantics of ``Real'' Parallel Languages in TLA
001F83 (1997)	Jean-Paul Gibson ; Dominique Méry	A Unifying Framework for Multi-Semantic Sofware Development
002593 (1999)	Adel Bouhoula ; Ahmed Jebali ; Michael Rusinowitch	Reasoning about Object Behaviours with Rewriting.
002633 (1999)	Jacques Jaray	Le temps dans le processus de développement des applications informatiques.
002B52 (2000)	Dominique Cansell ; Dominique Méry	Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
002D05 (2000)	Dominique Cansell ; Dominique Méry ; Christophe Tabacznyj	Abstraction and Refinement of Concurrent Programs and Formal Specification
003044 (2001)	Dominique Cansell ; Dominique Méry ; Stephan Merz	Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
003541 (2002)	Dominique Cansell ; Dominique Méry	Integration of the proof process in the system development through refinement steps
003743 (2003)	Jean-Raymond Abrial ; Dominique Cansell ; Dominique Méry	A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
003785 (2003)	Jean-Raymond Abrial ; Dominique Cansell ; Dominique Méry	Formal derivation of spanning trees algorithms
003786 (2003)	Dominique Cansell ; Dominique Méry	Foundations of the B method
003795 (2003)	Stephan Merz ; Martin Wirsing ; Julia Zappe	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
003867 (2003)	Dominique Cansell ; Camel Tanougast ; Yves Berviller ; Dominique Méry ; Cyril Proch ; Hassan Rabah ; Serge Weber	Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "refinement" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "refinement" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    refinement
}}

---

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