Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Dominique Cansell »
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.
Dominique Besagni < Dominique Cansell < Dominique Chouaniere  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 16.
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
000339 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time constraint patterns for event B development
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
000383 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
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
000554 (2004) Dominique Cansell [France] ; Stefan Hallerstede ; Yann ZimmermannConstruction sûre de systèmes électroniques
000700 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
000701 (2003) Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]Formal derivation of spanning trees algorithms
000719 (2003) Jean-Raymond Abrial ; Dominique Cansell [France]Click'n prove: Interactive proofs within Set Theory
000800 (2002) Dominique Cansell [France] ; Dominique Méry [France]Integration of the proof process in the system development through refinement steps
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
000841 (2002) Jean-Raymond Abriall ; Dominique Cansell [France] ; Guy Laffitte [France]"higher-order" mathematics in B
000852 (2001) Dominique Cansell [France] ; Jacques Jaray [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
000977 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems

List of associated FC03.fr.i

Nombre de
documents		Descripteur
9Spécification formelle
7Méthode raffinement
6Développement logiciel
6Modélisation
4Vérification programme
3Architecture basée modèle
3Démonstration théorème
3Invariant
3Méthode formelle
3Ordonnancement
3Système réactif
3Système sur puce
3Théorie preuve
2Affinement
2Ajustement modèle
2Algorithme réparti
2Logique temporelle
2Système B
2Système complexe
2Système réparti
2Télévision numérique
2Validation
1.
1Abstraction
1Aide preuve
1Analyse conceptuelle
1Approche probabiliste
1Arbre maximal
1Assurance qualité
1Atteignabilité
1Cahier charge
1Calcul prédicat
1Cohérence
1Conception système
1Contrôle accès
1Diagnostic
1Diagramme état
1Défaillance
1Démonstration automatique
1Dépendance
1Election leader
1Informatique théorique
1Interprétation abstraite
1Interprêtation abstraite
1Langage B
1Logique ordre supérieur
1Machine abstraite
1Méthode B
1Non déterminisme
1Normalisation
1Preuve
1Problème comptage
1Programmation logique
1Protocole transmission
1Raffinage
1Satisfaction
1Service proactif
1Spécification
1Spécification programme
1Spécification système
1Système construction
1Système diagnostic
1Système information
1Système non déterministe
1Système temporisé
1Sécurité informatique
1Sémantique opérationnelle
1Temps réel
1Théorie ensemble
1Traduction automatique
1Vérification
1Vérification formelle
1Vérification modèle

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/Author.i -k "Dominique Cansell" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Dominique Cansell" \
         | 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=    Author.i
   |clé=    Dominique Cansell
}}
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