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

13 years 9 months ago

Download www.lisi.ensma.fr

: 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

Yamine Aït Ameur, Patrick Girard, Francis Jam

Real-time Traffic

Basic Architecture Models | Case Study | Computer Human Interaction | DSVIS 1998 | Interactive System |

claim paper

Related Content

» A Use Case Interpretation of B AMN

» Formal Verification and Validation of Interactive Systems Specifications

» The Service Responsibility and Interaction Design Method Using an Agile Approach for Web S...

» GenomeWide Discovery of Modulators of Transcriptional Interactions in Human B Lymphocytes

» Participatory design in a humancomputer interaction course teaching ethnography methods to...

» Toward a ModelBased Approach to the Specification of Virtual Reality Environments

» Human computer interaction methods for electronic flight bag envisionment and design

» Robust Optimal ReferenceTracking Design Method for Stochastic Synthetic Biology Systems TS...

» Deriving Specifications for Systems That Are Connected to the Physical World

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	DSVIS
Authors	Yamine Aït Ameur, Patrick Girard, Francis Jambon

Comments (0)

Sciweavers

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

Basic Architecture Models | Case Study | Computer Human Interaction | DSVIS 1998 | Interactive System |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers