Jean-Pierre Finance < Jean-Pierre Jacquot < Jean-Pierre Jouannaud

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000019 (2011-11-10)	Atif Mashkoor ; Jean-Pierre Jacquot	Guidelines for Formal Domain Modeling in Event-B
000991 (2010-02-22)	Huu Nghia Nguyen ; Jean-Pierre Jacquot	A tool for checking CSP||B specifications
000C86 (2011-09-26)	Faqing Yang ; Jean-Pierre Jacquot	An Event-B Plug-in for Creating Deadlock-Freeness Theorems
001854 (2005)	Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine Souquières	Consistency in UML and B multi-view specifications
001C27 (2006)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Developing Specifications by using Operators: a Process to guarantee correctness by construction
001C29 (2004)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Developing UML and B specification using operators : an application to the data refinement
001C42 (2005)	Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine Souquières	Development of objectoriented and formal multi-view specifications
001D35 (2010-09-27)	Atif Mashkoor ; Jean-Pierre Jacquot	Domain Engineering with Event-B: Some Lessons We Learned
001D36 (2008)	Atif Mashkoor ; Jean-Pierre Jacquot ; Jeanine Souquières	Domain Modeling with Event-B: An Experience with Transportation Domain
001F84 (2006)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Ensuring specification correctness by construction
002762 (2001)	Jean-Pierre Jacquot ; Franck Chalaux	Helping specification writers: a case study
002A52 (2009)	Atif Mashkoor ; Jean-Pierre Jacquot	Incorporating Animation in Stepwise Development of Formal Specification
002D23 (2013-12-02)	Faqing Yang ; Jean-Pierre Jacquot ; Jeanine Souquières	JeB: Safe Simulation of Event-B Models in JavaScript
003253 (2008-01-31)	Samuel Colin ; Jean-Pierre Jacquot ; Arnaud Lanoix ; Atif Mashkoor ; Jeanine Souquières	Model for the Land Transport Domain
003649 (2015-01-08)	Atif Mashkoor ; Jean-Pierre Jacquot	Observation-Level-Driven Formal Modeling
003C77 (2016)	Jean-Pierre Jacquot	Premières leçons sur la spécification d’un train d’atterrissage en B Événementiel
003E48 (2014-01-09)	Faqing Yang ; Jean-Pierre Jacquot ; Jeanine Souquières	Proving the Fidelity of Simulations of Event-B Models
004057 (2016)	Atif Mashkoor ; Faqing Yang ; Jean-Pierre Jacquot	Refinement-based Validation of Event-B Specifications
004146 (2008-07-25)	Samuel Colin ; Jean-Pierre Jacquot ; Arnaud Lanoix ; Atif Mashkoor ; Jeanine Souquières	Requirements for the Description of Component Assembling
004363 (2011-04-18)	Faqing Yang ; Jean-Pierre Jacquot	Scaling Up with Event-B: A Case Study
004615 (2009-05)	Nacer Boudjlida ; Jean-Pierre Jacquot ; Pascal Urso	Software Engineering Education by Example

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Jean-Pierre Jacquot" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Jean-Pierre Jacquot" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Jean-Pierre Jacquot
}}

---

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