Formal methods in human-computer interaction.

MaRDI QIDQ3654994zbMATH OpenFDO

Authors

Publication date 12 January 2010

zbMATH Keywords

human-computer interface

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 1324642
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• Specification and Development of Interactive Systems
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
• scientific article; zbMATH DE number 605798

Cited in

(2)

• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 1324642 (Why is no real title available?)

This page was built for publication: Formal methods in human-computer interaction.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3654994)