This paper completes the whole development process we suggested for HCI software. Our approach is a formal one based on the B technique. We show in this paper how formal B specifications can be derived from informal requirements. Intermediate UAN notation is used to write the specifications. Then, these B specifications are validated using the data oriented specification language EXPRESS. Several scenarios can be tested against these EXPRESS specifications.
CITATION STYLE
Aït-Ameur, Y., Breholée, B., Girard, P., Guittet, L., & Jambon, F. (2006). Formal Verification and Validation of Interactive Systems Specifications. In Human Error, Safety and Systems Development (pp. 61–76). Kluwer Academic Publishers. https://doi.org/10.1007/1-4020-8153-7_5
Mendeley helps you to discover research relevant for your work.