Login / Signup
Combining Formal Techniques and Prototyping in User Interface Construction and Verification.
Peter Bumbulis
Paulo S. C. Alencar
Donald D. Cowan
Carlos José Pereira de Lucena
Published in:
DSV-IS (1995)
Keyphrases
</>
user interface
formal methods
formal analysis
model checking
user interaction
end users
human computer interaction
rapid prototyping
construction process
search engine
information systems
user experience
formal model
signature verification