Jean-Pierre Jacquot

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 4

Top Topics

Software Development

Specification Languages

Top Venues

Tech. Sci. Informatiques

Softw. Syst. Model.

Publications

Jean-Pierre Jacquot
Multi-model Animation with JeB. ABZ (2024)
Jean-Pierre Jacquot, Atif Mashkoor
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16 (3) (2017)
Atif Mashkoor, Jean-Pierre Jacquot
Validation of formal specifications through transformation and animation. Requir. Eng. 22 (4) (2017)
Jean-Pierre Jacquot
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel. Tech. Sci. Informatiques 34 (5) (2015)
Atif Mashkoor, Jean-Pierre Jacquot
Observation-Level-Driven Formal Modeling. HASE (2015)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
Proving the Fidelity of Simulations of Event-B Models. HASE (2014)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
JeB: Safe Simulation of Event-B Models in JavaScript. APSEC (1) (2013)
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
The Case for Using Simulation to Validate Event-B Specifications. APSEC (2012)
Atif Mashkoor, Jean-Pierre Jacquot
Guidelines for Formal Domain Modeling in Event-B. HASE (2011)
Faqing Yang, Jean-Pierre Jacquot
Scaling Up with Event-B: A Case Study. NASA Formal Methods (2011)
Atif Mashkoor, Jean-Pierre Jacquot
Stepwise Validation of Formal Specifications. APSEC (2011)
Atif Mashkoor, Jean-Pierre Jacquot
Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16 (3) (2011)
Atif Mashkoor, Jean-Pierre Jacquot
Domain Engineering with Event-B: Some Lessons We Learned. RE (2010)
Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso
Software Engineering Education by Example CoRR (2009)
Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières
Consistency in UML and B Multi-view Specifications. IFM (2005)
Jean-Pierre Jacquot
A full Java post-graduate curriculum. PPPJ (2004)
Jean-Pierre Jacquot
Which use for Java in introductory courses? PPPJ/IRE (2002)
Jean-Pierre Jacquot, D. Quesnot
Early Specification of User-Interfaces: Toward a Formal Approach. ICSE (1997)
Jean-Pierre Jacquot, J. Guyard
Requirements for an Ideal First Language. FPLE (1995)
Jean-Pierre Jacquot, A. Valdenaire
Trading legibility against implementability in requirement specifications: an experimental assessment. RE (1995)
Jean-Pierre Jacquot
The Process of Teaching Process. CSEE (1995)
Jean-Pierre Jacquot
Programming Through Disciplined Modification. ICSM (1994)
Bernard Amar, Yves Benoit, J. Guyard, Jean-Pierre Jacquot
Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration. CSEE (1994)
D. Quesnot, Jean-Pierre Jacquot
An Environment for the Process of Design Specifications. PPIG (2) (1992)
Jean-Pierre Jacquot, J. Guyard
Seven Lessons to Teach Design. CSEE (1991)
Jean-Pierre Jacquot, J. Guyard, L. Boidot
Modeling Teamwork in an Academic Environment. CSEE (1990)
J. Guyard, Jean-Pierre Jacquot
MAIDAY: An Environment for Guided Programming. ICSE (1984)