Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation

Jürgen Engel, Christian Märtin, Christian Herdin, Peter Forbrig. Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation. In Masaaki Kurosu, editor, Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Volume 8004 of Lecture Notes in Computer Science, pages 300-309, Springer, 2013. [doi]

@inproceedings{EngelMHF13,
  title = {Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation},
  author = {Jürgen Engel and Christian Märtin and Christian Herdin and Peter Forbrig},
  year = {2013},
  doi = {10.1007/978-3-642-39232-0_34},
  url = {http://dx.doi.org/10.1007/978-3-642-39232-0_34},
  researchr = {https://researchr.org/publication/EngelMHF13},
  cites = {0},
  citedby = {0},
  pages = {300-309},
  booktitle = {Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I},
  editor = {Masaaki Kurosu},
  volume = {8004},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39231-3},
}