Publication | Closed Access

Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems

Formal NotationFormal RepresentationsEngineeringFormal ModelingAutomated ReasoningInteraction TechniqueDesignUser ExperienceFormal MethodsHuman-computer InteractionInteractive SystemsCommunicationSemanticsFormalizationSocial SciencesInteractive Computing