Jean-Pierre Jacquot

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017

Refinement-based Validation of Event-B Specifications.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Validation of formal specifications through transformation and animation.

[BibT_eX]

[DOI]

Requir. Eng., 2017

2015

Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2015

Observation-Level-Driven Formal Modeling.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Proving the Fidelity of Simulations of Event-B Models.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

JeB: Safe Simulation of Event-B Models in JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

The Case for Using Simulation to Validate Event-B Specifications.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Utilizing Event-B for domain engineering: a critical analysis.

[BibT_eX]

[DOI]

Requir. Eng., 2011

Scaling Up with Event-B: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Guidelines for Formal Domain Modeling in Event-B.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Stepwise Validation of Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Domain Engineering with Event-B: Some Lessons We Learned.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

2009

Software Engineering Education by Example

[BibT_eX]

[DOI]

Nacer Boudjlida

Pascal Urso

CoRR, 2009

2005

Consistency in UML and B Multi-view Specifications.

[BibT_eX]

[DOI]

Dieu Donné Okalas Ossami

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

A full Java post-graduate curriculum.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004

2002

Which use for Java in introductory courses?

[BibT_eX]

[DOI]

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

1997

Early Specification of User-Interfaces: Toward a Formal Approach.

[BibT_eX]

[DOI]

D. Quesnot

Proceedings of the Pulling Together, 1997

1995

Trading legibility against implementability in requirement specifications: an experimental assessment.

[BibT_eX]

[DOI]

A. Valdenaire

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

Requirements for an Ideal First Language.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages in Education, 1995

The Process of Teaching Process.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994

Programming Through Disciplined Modification.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1994

1992

An Environment for the Process of Design Specifications.

[BibT_eX]

[DOI]

D. Quesnot

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1991

Seven Lessons to Teach Design.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1991

1990

Modeling Teamwork in an Academic Environment.

[BibT_eX]

[DOI]

L. Boidot

Proceedings of the Software Engineering Education, 1990

1984

MAIDAY: An Environment for Guided Programming.

[BibT_eX]