( en | de | ru )

 

Disambiguation of "Jacquot, Jean-Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
JeB: Safe Simulation of Event-B Models in JavaScript.

, , and . APSEC (1), page 571-576. IEEE Computer Society, (2013)978-1-4799-2143-0.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Jean Regenet

Jean Pierre Calteux

Jean-Pierre Mazat

Jean-Pierre Dubost

Jean-Pierre Détry

 

Other publications of authors with the same name

Refinement-based Validation of Event-B Specifications., , and . Softw. Syst. Model., 16 (3): 789-808 (2017)MAIDAY: An Environment for Guided Programming., and . ICSE, page 126-137. IEEE Computer Society, (1984)Which use for Java in introductory courses?. PPPJ/IRE, volume 25 of ACM International Conference Proceeding Series, page 119-124. ACM, (2002)The Process of Teaching Process.. CSEE, volume 895 of Lecture Notes in Computer Science, page 147-156. Springer, (1995)Consistency in UML and B Multi-view Specifications., , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 386-405. Springer, (2005)Modeling Teamwork in an Academic Environment., , and . CSEE, volume 423 of Lecture Notes in Computer Science, page 110-122. Springer, (1990)Early Specification of User-Interfaces: Toward a Formal Approach., and . ICSE, page 150-160. ACM, (1997)Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration., , , and . CSEE, volume 750 of Lecture Notes in Computer Science, page 251-261. Springer, (1994)Seven Lessons to Teach Design., and . CSEE, volume 536 of Lecture Notes in Computer Science, page 195-204. Springer, (1991)An Environment for the Process of Design Specifications., and . PPIG (2), page 15. Psychology of Programming Interest Group, (1992)