Sciweavers

IFIP13
2004

Formal Verification and Validation of Interactive Systems Specifications

13 years 4 months ago
Formal Verification and Validation of Interactive Systems Specifications
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show in this paper how formal B specifications can be derived from informal requirements in the informal notation UAN. Then, these B specifications are validated using the data oriented specification language EXPRESS. Several scenarios can be tested against these EXPRESS specifications. Key words: B Method, EXPRESS, UAN, interaction properties, verification, validation, formal specification of interactive systems.
Yamine Aït Ameur, Benoit Breholée, Pat
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where IFIP13
Authors Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
Comments (0)