Combining Formal Techniques and Prototyping in User Interface Construction and Verification (1995)
| Venue: | In 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems (DSV-IS'95). Springer-Verlag Lecture Notes in Computer Science |
| Citations: | 10 - 5 self |
BibTeX
@INPROCEEDINGS{Bumbulis95combiningformal,
author = {Peter Bumbulis and P. S. C. Alencar and D. D. Cowan and C. J. P. Lucena},
title = {Combining Formal Techniques and Prototyping in User Interface Construction and Verification},
booktitle = {In 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems (DSV-IS'95). Springer-Verlag Lecture Notes in Computer Science},
year = {1995},
pages = {7--9},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we investigate a component-based approach to combining formal techniques and prototyping for user interface construction in which a single specification is used for constructing both implementations (prototypes) for experimentation and models for formal reasoning. Using a component-based approach not only allows us to construct realistic prototypes, but also allows us to generate a variety of formal models. Rapid prototyping allows the designs to be tested with end users and modified based on their comments and performance, while formal modeling permits the designer to verify mechanically specific requirements imposed on the user interface such as those found in safety- or security-critical applications. 1 Introduction User interfaces can be difficult and costly to construct; one recent survey estimates that half the development effort for an interactive application is spent on constructing the user interface [MR92]. It is natural to attempt to apply software engineering...
