We Need Non-formal Methods Based on Formal Models in Interaction Design

Andreas Maier, Steffen Hess. We Need Non-formal Methods Based on Formal Models in Interaction Design. In Achim Ebert, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon, Inga Scheler, editors, Building Bridges: HCI, Visualization, and Non-formal Modeling - IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Volume 8345 of Lecture Notes in Computer Science, pages 150-164, Springer, 2011. [doi]

@inproceedings{MaierH11,
  title = {We Need Non-formal Methods Based on Formal Models in Interaction Design},
  author = {Andreas Maier and Steffen Hess},
  year = {2011},
  doi = {10.1007/978-3-642-54894-9_11},
  url = {http://dx.doi.org/10.1007/978-3-642-54894-9_11},
  researchr = {https://researchr.org/publication/MaierH11},
  cites = {0},
  citedby = {0},
  pages = {150-164},
  booktitle = {Building Bridges: HCI, Visualization, and Non-formal Modeling - IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers},
  editor = {Achim Ebert and Gerrit C. van der Veer and Gitta Domik and Nahum D. Gershon and Inga Scheler},
  volume = {8345},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54893-2},
}