Using the B Formal Approach for Incremental Specification Design of Interactiv Systems

Authors:
Yamine Aït Ameur;Patrick Girard;Francis Jambon
Affiliations:
-;-;-
Venue:
Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction
Year:
1998

Interactive System Safety and Usability Enforced with the Development Process

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Cooperation of Formal Methods in an Engineering Based Software Development Process

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
First steps in the retro-engineering of a GUI toolkit in the B language

IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine

Hi-index	0.00