Accéder directement au contenu

Francis JAMBON

4
Documents

Présentation

**Home page: <https://lig-membres.imag.fr/jambon/>**

Publications

"yamine-ait-ameur"
Image document

Interactive System Safety and Usability enforced with the development process

Francis Jambon , Patrick Girard , Yamine Aït-Ameur
Proc. 8th IFIP International Conference - Engineering for Human-Computer Interaction (EHCI 2001), May 2001, Toronto, Canada. pp.39-55, ⟨10.1007/3-540-45348-2\_8⟩
Communication dans un congrès hal-03674068v1

Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study

Francis Jambon , Patrick Girard , Yamine Aït-Ameur
Proc. Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000 (SUCA 2000), Sep 2000, Toulouse, France
Communication dans un congrès hal-03655164v1
Image document

Using the B formal approach for incremental specification design of interactive systems

Yamine Aït-Ameur , Patrick Girard , Francis Jambon
Engineering for Human-Computer Interaction (EHCI 1998), Sep 1998, Heraklion, Greece. pp.91-108
Communication dans un congrès hal-03632526v1
Image document

A Uniform approach for the Specification and Design of Interactive Systems: the B method

Yamine Aït-Ameur , Patrick Girard , Francis Jambon
Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 1998), Jun 1998, Abingdon, Unknown Region. pp.333-352
Communication dans un congrès hal-03632527v1