A Uniform Approach for Specification and Design of Interactive Systems: the B Method

: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It

• Type: Conference
• Year: 1998
• Where: DSVIS
• Authors: Yamine Aït Ameur, Patrick Girard, Francis Jambon
• Keywords: Basic Architecture Models, Case Study, Computer Human Interaction, DSVIS 1998, Interactive System