FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Spécification programme »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Spécification modèle < Spécification programme < Spécification système  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000684 (2003) Stephan Merz [France]On the logic of TLA+
000960 (2000) D. Cansell [France] ; D. Mery [France] ; C. Tabacznyj [France]Tutorial 1 : Abstraction and refinement of concurrent programs and formal specification a practical view
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
000A32 (2000) C. Castro [France] ; E. Monfroy [Pays-Bas]A control language for designing constraint solvers
000A76 (1999) H. Kirchner [France] ; P.-E. Moreau [France]Non-deterministic computations in ELAN
000A99 (1999) Y. Mokhtari [France] ; S. Merz [Allemagne]Animating TLA specifications
000B02 (1999) H. Kirchner [France] ; P. D. Mosses [États-Unis]Algebraic specifications, higher-order types, and set-theoretic models
000B03 (1999) D. Cansell [France] ; D. Mery [France]Abstract animator for temporal specifications : Application to TLA
000B04 (1999) E. Meyer [France] ; J. Souquieres [France]A systematic approach to transform OMT diagrams to a B specification
000D57 (1992) G.-R. Perrin [France] ; J.-P. Finance [France]Communication relations : a paradigm for parallel program design

List of associated Author.i

Nombre de
documents		Descripteur
3D. Mery
2D. Cansell
2H. Kirchner
1C. Castro
1C. Tabacznyj
1Cyril Proch
1Dominique Cansell
1Dominique Méry
1E. Meyer
1E. Monfroy
1G.-R. Perrin
1J. Souquieres
1J.-P. Finance
1P. D. Mosses
1P. Gibson
1P.-E. Moreau
1S. Merz
1Stephan Merz
1Y. Mokhtari

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 programme" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Spécification programme" \
         | 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 programme
}}
Wicri

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