Login / Signup
Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches".
Heather Alexander
Published in:
IEEE Trans. Software Eng. (1988)
Keyphrases
</>
formal specification
user interface
model checking
formal methods
object oriented design
end users
reverse engineering
specification language
specification languages
database
fine grained
data abstraction
process algebra