Accéder directement au contenu

Jeanine Souquières

5
Documents

Présentation

souquieres

Publications

830614
Image document

B événementiel pour la modélisation du domaine: application au transport

 Atif Mashkoor , Jean-Pierre Jacquot , Jeanine Souquières
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19
Communication dans un congrès inria-00326355v2
Image document

Transformation Heuristics for Formal Requirements Validation by Animation

 Atif Mashkoor , Jean-Pierre Jacquot , Jeanine Souquières
2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom
Communication dans un congrès inria-00374082v1
Image document

Consistency in UML and B multi-view specifications

 Dieu Donné Okalas Ossami , Jean-Pierre Jacquot , Jeanine Souquières
Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Communication dans un congrès hal-00009478v1

Development of objectoriented and formal multi-view specifications

 Dieu Donné Okalas Ossami , Jean-Pierre Jacquot , Jeanine Souquières
2005
Autre publication scientifique hal-00013790v1
Image document

Domain Modeling with Event-B: An Experience with Transportation Domain

 Atif Mashkoor , Jean-Pierre Jacquot , Jeanine Souquières
[Research Report] 2008
Rapport inria-00326253v1