Publication | Closed Access
Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems
268
Citations
34
References
1999
Year
Formal NotationFormal RepresentationsEngineeringFormal ModelingAutomated ReasoningInteraction TechniqueDesignUser ExperienceFormal MethodsHuman-computer InteractionInteractive SystemsCommunicationSemanticsFormalizationSocial SciencesInteractive Computing
| Year | Citations | |
|---|---|---|
Page 1
Page 1