Login / Signup
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices.
Giorgio P. Faconti
Angelo Fornari
Nicola Zani
Published in:
DSV-IS (1994)
Keyphrases
</>
formal specification
visual representation
input device
user interface
object oriented design
model checking
reverse engineering
concurrent systems
formal methods
process algebra
software components
artificial intelligence
gesture recognition
data analysis
expert systems
business rules