From Conditional Specifications to Interaction Charts.

Egidio Astesiano Gianna Reggio

Published in: Formal Methods in Software and Systems Modeling (2005)

Keyphrases

human interaction
database
databases
user interface
user interaction
statistical process control
learning algorithm
knowledge base
website