Abstract
The workshop discussed what to be understood by a formal design method, and what is required to make the formal methods useful and used in practice, i.e., in design of industrial scale interactive systems. It is proposed to arrange a rather detailed comparison of several methods on a selected test case.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Gram, C., Abowd, G. (1996). Mini-workshop: how to make formal methods useful. In: Bass, L.J., Unger, C. (eds) Engineering for Human-Computer Interaction. EHCI 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34907-7_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-34907-7_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2935-0
Online ISBN: 978-0-387-34907-7
eBook Packages: Springer Book Archive