Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « specifications »
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.
specification < specifications < specificities  Facettes :

List of bibliographic references indexed by specifications

Number of relevant bibliographic references: 146.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
000F22 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001821 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002C44 (2010-06-11) Roméo Courbis [France]Rewriting Approximations For Properties Verification Over CCS Specifications
002E09 (2010-02-22) Huu Nghia Nguyen [France] ; Jean-Pierre Jacquot [France]A tool for checking CSP||B specifications
003114 (2010) Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne]Automatic Verification of Parametric Specifications with Complex Topologies
004372 (2008) Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France]Incremental development of UML specifications using operation refinements
004582 (2008) Lahcen Oubahssi [France] ; Monique Grandbastien [France]E-Learning Systems Re-Engineering : Functional Specifications and Component-Based Architecture
004B59 (2007) Andrzej Tarlecki [Pologne]Toward Specifications for Reconfigurable Component Systems
004E17 (2007) Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France]Towards an incremental development of UML specifications
004E65 (2007) Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France]Incremental development of UML specifications using operation refinements
005049 (2006-08) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]Automated Boundary Test Generation from JML Specifications
005165 (2006-04) Houda Fekih [France] ; Leila Jemni Ben Ayed [Tunisie] ; Stephan Merz [France]Transformation of B Specifications into UML Class Diagrams and State Machines
005229 (2006) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] ; Jacques Julliand [France]Safety Property Driven Test Generation from {JML} Specifications
005487 (2006) David H. Akehurst [Royaume-Uni]Experiment in Model Driven Validation of BPEL Specifications
005786 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing Specifications by using Operators: a Process to guarantee correctness by construction

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "specifications" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "specifications" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    specifications
}}
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