Login / Signup
Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems.
Frank M. Shipman III
Catherine C. Marshall
Published in:
Comput. Support. Cooperative Work. (1999)
Keyphrases
</>
interactive systems
human computer interaction
formal specification
case study
higher level
multi agent
database
case based reasoning
formal model
formal methods
interactive learning environments
digital entertainment