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 « Méthode raffinement »
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.
Méthode quadratique < Méthode raffinement < Méthode récursive  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000136 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
000171 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000239 (2009) Randa Kassab [France] ; Frédéric Alexandre [France]Incremental data-driven learning of a novelty detection model for one-class classification with application to high-dimensional noisy data
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000263 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]Développement formel par composants : Assemblage et vérification à l'aide de B
000288 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
000289 (2007) Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique]Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala
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
000310 (2006) Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]Treillis de concepts et ontologies pour interroger l'annuaire de sources de données biologiques BioRegistry
000375 (2006) Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]Integration of security policy into system modeling
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000461 (2005) Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]Querying a bioinformatic data sources registry with concept lattices
000554 (2004) Dominique Cansell [France] ; Stefan Hallerstede ; Yann ZimmermannConstruction sûre de systèmes électroniques
000575 (2004) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining mobile UML state machines
000684 (2003) Stephan Merz [France]On the logic of TLA+
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
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

List of associated Author.i

Nombre de
documents		Descripteur
7Dominique Cansell
6Dominique Méry
2Amedeo Napoli
2Didier Bert
2Jean-Raymond Abrial
2Jeanine Souquieres
2Malika Smaïl-Tabbone
2Marie-Dominique Devignes
2Nizar Messai
2Stephan Merz
1Airy Weinzoepflen
1Akram Idani
1Alexander Knapp
1Arnaud Lanoix
1BOULBABA BEN AMMAR
1Catherine Dubois
1Cyril Proch
1Frédéric Alexandre
1Ganesh Gopalakrishnan
1Héctor Ruiz Barradas
1Jean-Marc Mota
1Joris Rehm
1MOHAMED TAHAR BHIRI
1Martin Wirsing
1Mike Jones
1Mohamed Khalgui
1Nazim Benaïsa
1Olfa Mosbahi
1Randa Kassab
1Samuel Colin
1Stefan Hallerstede
1Yann Zimmermann
1Yves 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 "Méthode raffinement" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Méthode raffinement" \
         | 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é=    Méthode raffinement
}}
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