Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques.

Philippe A. Palanque Rémi Bastide

Published in: Interact. Comput. (1997)

Keyphrases

formal specification
formal methods
working environment
object oriented design
user interface
software components
human users
artificial intelligence
user groups
model checking
database
end users
specification language
knowledge structures
design methodologies
expert systems
concurrent systems
process algebra