
%Aigaion2 BibTeX export von HES SO Valais Publications
%Monday 31 August 2026 01:28:18 PM

@INBOOK{,
     author = {Risoldi, Matteo and Amaral, Vasco and Barroca, Bruno and Bazargan, Kaveh and Buchs, Didier and Cretton, Fabian and Falquet, Gilles and Le Calv{\'{e}}, Anne and Malandain, Stephane and Zoss, Pierrick},
      title = {Human Machine Interaction},
     volume = {440/2009},
    chapter = {A Language and a Methodology for Prototyping User Interfaces for Control Systems},
       year = {2009},
      pages = {221-248},
  publisher = {Springer Berlin / Heidelberg},
        url = {http://dx.doi.org/10.1007/978-3-642-00437-7_9},
   abstract = {The BATIC3S project (Building Adaptive Three-dimensional Interfaces for Controlling Complex Control Systems) proposes a methodology to prototype adaptive graphical user interfaces (GUI) for control systems. We present a domain specific language for the control systems domain, including useful and understandable abstractions for domain experts. This is coupled with a methodology for validation, verification and automatic GUI prototype generation. The methodology is centered on metamodel-based techniques and model transformations, and its foundations rely on formal models. Our approach is based on the assumption that a GUI can be induced from the characteristics of the system to control.}
}

