{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:54:25Z","timestamp":1725530065078},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004360"},{"type":"electronic","value":"9783642004377"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00437-7_9","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T11:08:11Z","timestamp":1238065691000},"page":"221-248","source":"Crossref","is-referenced-by-count":3,"title":["A Language and a Methodology for Prototyping User Interfaces for Control Systems"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Risoldi","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Barroca","sequence":"additional","affiliation":[]},{"given":"Kaveh","family":"Bazargan","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[]},{"given":"Fabian","family":"Cretton","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Falquet","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Le Calv\u00e9","sequence":"additional","affiliation":[]},{"given":"St\u00e9phane","family":"Malandain","sequence":"additional","affiliation":[]},{"given":"Pierrick","family":"Zoss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Risoldi, M., Masetti, L., Buchs, D., Barroca, B., Amaral, V.: A model-based methodology for control systems gui design prototyping. In: Proceedings of the PCAPAC 2008 conference (2008), http:\/\/www.pcapacworkshop.org"},{"issue":"2","key":"9_CR2","first-page":"22019","volume":"119","author":"A. Dierlamm","year":"2008","unstructured":"Dierlamm, A., Dirkes, G.H., Fahrer, M., Frey, M., Hartmann, F., Masetti, L., Militaru, O., Shah, S.Y., Stringer, R., Tsirou, A.: The CMS tracker control system. Journal of Physics: Conference Series\u00a0119(2), 022019 (9p) (2008)","journal-title":"Journal of Physics: Conference Series"},{"key":"9_CR3","unstructured":"Burkardt, J.: Object file format specification (visited, 2008), http:\/\/people.scs.fsu.edu\/~burkardt\/txt\/obj_format.txt"},{"volume-title":"User models in dialog systems","year":"1989","key":"9_CR4","unstructured":"Kobsa, A., Wahlster, W. (eds.): User models in dialog systems. Springer, New York (1989)"},{"key":"9_CR5","unstructured":"Cretton, F., Calv\u00e9, A.L.: Working paper: Generic ontology based user modeling - GenOUM. Technical report, HES-SO Valais (2007)"},{"key":"9_CR6","unstructured":"Cretton, F., Calv\u00e9, A.L.: Generic ontology based user model: GenOUM. Technical report, Universit\u00e9 de Gen\u00e8ve (June 2008), http:\/\/smv.unige.ch\/tiki-list_file_gallery.php?galleryId=46"},{"key":"9_CR7","first-page":"362","volume-title":"INTERACT 1997: Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction","author":"F. Patern\u00f2","year":"1997","unstructured":"Patern\u00f2, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A diagrammatic notation for specifying task models. In: INTERACT 1997: Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction, London, UK, UK, pp. 362\u2013369. Chapman & Hall, Ltd., Boca Raton (1997)"},{"key":"9_CR8","volume-title":"Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences","author":"S. Yip","year":"1991","unstructured":"Yip, S., Robson, D.: Graphical user interfaces validation: a problem analysis and a strategy to solution. In: Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences, IEEE Computer Society, Los Alamitos (1991)"},{"key":"9_CR9","series-title":"The Eclipse series","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2004","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse series. Addison-Wesley, Reading (2004)"},{"key":"9_CR10","unstructured":"Pedro, L., Risoldi, M., Buchs, D., Barroca, B., Amaral, V.: Developing domain specific modeling languages by metamodel semantic enrichment and composition: a case study. In: IEEE Software Special Issue on Domain-Specific Languages & Modeling (Submitted, 2008)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Biberstein, O.: CO-OPN\/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva (1997)","DOI":"10.1007\/978-0-387-35261-9_5"},{"key":"9_CR12","unstructured":"ATLAS Group: Atlas transformation language (2008), http:\/\/www.eclipse.org\/m2m\/atl\/"},{"key":"9_CR13","unstructured":"Hostettler, S.: Java decisions diagrams library. Technical report, Universit\u00e9 de Gen\u00e8ve (June 2008), http:\/\/smv.unige.ch\/tiki-list_file_gallery.php?galleryId=46"},{"key":"9_CR14","unstructured":"JoGL expert group: JSR 231: JavaTMbinding for the OpenGL\u00ae API (visited, 2008), http:\/\/jcp.org\/en\/jsr\/detail?id=231"},{"key":"9_CR15","unstructured":"FengGUI developer group: FengGUI: Java GUIs with OpenGL (visited, 2008), http:\/\/www.fenggui.org"},{"key":"9_CR16","unstructured":"3DConnexion: Spacenavigator product web page (visited, 2008), http:\/\/www.3dconnexion.com\/3dmouse\/spacenavigator.php"},{"issue":"9","key":"9_CR17","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Transactions on Software Engineering\u00a020(9), 684\u2013707 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR18","first-page":"241","volume":"00","author":"H.J. Kohler","year":"2000","unstructured":"Kohler, H.J., Nickel, U., Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. ICSE\u00a000, 241 (2000)","journal-title":"ICSE"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/ICSE.2001.919118","volume-title":"ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering","author":"J. Berstel","year":"2001","unstructured":"Berstel, J., Reghizzi, S.C., Roussel, G., Pietro, P.S.: A scalable formal method for design and automatic checking of user interfaces. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, Washington, DC, USA, pp. 453\u2013462. IEEE Computer Society, Los Alamitos (2001)"},{"key":"9_CR20","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)"},{"issue":"3","key":"9_CR21","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0953-5438(03)00011-0","volume":"15","author":"R. Bastide","year":"2003","unstructured":"Bastide, R., Navarre, D., Palanque, P.A.: A tool-supported design framework for safety critical interactive systems. Interacting with Computers\u00a015(3), 309\u2013328 (2003)","journal-title":"Interacting with Computers"},{"issue":"3","key":"9_CR22","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0953-5438(03)00010-9","volume":"15","author":"G. Calvary","year":"2003","unstructured":"Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A unifying reference framework for multi-target user interfaces. Interacting with Computers\u00a015(3), 289\u2013308 (2003)","journal-title":"Interacting with Computers"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-45348-2_17","volume-title":"Engineering for Human-Computer Interaction","author":"G. Calvary","year":"2001","unstructured":"Calvary, G., Coutaz, J., Thevenin, D.: A unifying reference framework for the development of plastic user interfaces. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol.\u00a02254, pp. 173\u2013192. Springer, Heidelberg (2001)"},{"key":"9_CR24","unstructured":"UsiXML consortium: UsiXML - Home of the USer Interface eXtensible Markup Language (Visited, 2008), http:\/\/www.usixml.org"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0953-5438(03)00014-6","volume":"15","author":"R.R. Penner","year":"2003","unstructured":"Penner, R.R., Steinmetz, E.S.: Implementation of automated interaction design with collaborative models. Interacting with Computers\u00a015(3), 367\u2013385 (2003)","journal-title":"Interacting with Computers"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Vanderdonckt, J., Chieu, C.K., Bouillon, L., Trevisan, D.: Model-based design, generation, and evaluation of virtual user interfaces. In: Web3D, pp. 51\u201360 (2004)","DOI":"10.1145\/985040.985048"},{"key":"9_CR27","unstructured":"Limbourg, Q., Vanderdonckt, J.: Comparing task models for user interface design. In: The handbook of task analysis for human-computer interaction (2004)"},{"key":"9_CR28","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/504502.504526","volume-title":"Web3D 2002: Proceedings of the seventh international conference on 3D Web technology","author":"L. Chittaro","year":"2002","unstructured":"Chittaro, L., Ranon, R.: Dynamic generation of personalized VRML content: a general approach and its application to 3D e-commerce. In: Web3D 2002: Proceedings of the seventh international conference on 3D Web technology, pp. 145\u2013154. ACM, New York (2002)"},{"key":"9_CR29","unstructured":"Estalayo, E., Salgado, L., Moran, F., Cabrera, J.: Adapting multimedia information association in VRML scenes for e-learning applications. In: Proceedings of 1st International Workshop LET-Web3D, pp. 16\u201322 (2004)"},{"key":"9_CR30","first-page":"75","volume-title":"Web3D 2006: Proceedings of the eleventh international conference on 3D web technology","author":"R. Dachselt","year":"2006","unstructured":"Dachselt, R., Hinz, M., Pietschmann, S.: Using the AMACONT architecture for flexible adaptation of 3D web applications. In: Web3D 2006: Proceedings of the eleventh international conference on 3D web technology, pp. 75\u201384. ACM, New York (2006)"},{"key":"9_CR31","unstructured":"Hinz, M., Fiala, Z.: Amacont: A system architecture for adaptive multimedia web applications. In: Tolksdorf, R., Eckstein, R. (eds.) Berliner XML Tage, XML-Clearinghouse, pp. 65\u201374 (2004)"},{"key":"9_CR32","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/504502.504527","volume-title":"Web3D 2002: Proceedings of the seventh international conference on 3D Web technology","author":"R. Dachselt","year":"2002","unstructured":"Dachselt, R., Hinz, M., Meissner, K.: Contigra: an XML-based architecture for component-oriented 3D applications. In: Web3D 2002: Proceedings of the seventh international conference on 3D Web technology, pp. 155\u2013163. ACM, New York (2002)"},{"issue":"4","key":"9_CR33","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MIS.2007.63","volume":"22","author":"L. Chittaro","year":"2007","unstructured":"Chittaro, L., Ranon, R.: Adaptive hypermedia techniques for 3D educational virtual environments. IEEE Intelligent Systems\u00a022(4), 31\u201337 (2007)","journal-title":"IEEE Intelligent Systems"},{"key":"9_CR34","first-page":"419","volume-title":"Intelligent User Interfaces","author":"L. Chittaro","year":"2008","unstructured":"Chittaro, L., Ranon, R.: An adaptive 3D virtual environment for learning the X3D language. In: Bradshaw, J.M., Lieberman, H., Staab, S. (eds.) Intelligent User Interfaces, pp. 419\u2013420. ACM, New York (2008)"},{"key":"9_CR35","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/900051.900068","volume-title":"HYPERTEXT 2003: Proceedings of the fourteenth ACM conference on Hypertext and hypermedia","author":"P.D. Bra","year":"2003","unstructured":"Bra, P.D., Aerts, A., Berden, B., de Lange, B., Rousseau, B., Santic, T., Smits, D., Stash, N.: AHA! The adaptive hypermedia architecture. In: HYPERTEXT 2003: Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, pp. 81\u201384. ACM, New York (2003)"},{"key":"9_CR36","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-71976-2_6","volume-title":"Ontologies for Urban Development","author":"C. M\u00e9tral","year":"2007","unstructured":"M\u00e9tral, C., Falquet, G., Vonlanthen, M.: An ontology-based model for urban planning communication. In: Teller, J., Lee, J.R., Roussey, C. (eds.) Ontologies for Urban Development. Studies in Computational Intelligence, vol.\u00a061, pp. 61\u201372. Springer, Heidelberg (2007)"},{"issue":"2","key":"9_CR37","first-page":"121","volume":"12","author":"I. Bilasco","year":"2007","unstructured":"Bilasco, I., Villanova-Oliver, M., Gensel, J., Martin, H.: S\u00e9mantique et mod\u00e9lisation des sc\u00e8nes 3D. RSTI-ISI, Metadonn\u00e9es et nouveaux SI\u00a012(2), 121\u2013135 (2007)","journal-title":"RSTI-ISI, Metadonn\u00e9es et nouveaux SI"},{"key":"9_CR38","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1229390.1229406","volume-title":"Web3D","author":"I.M. Bilasco","year":"2007","unstructured":"Bilasco, I.M., Villanova-Oliver, M., Gensel, J., Martin, H.: Semantic-based rules for 3D scene adaptation. In: Gervasi, O., Brutzman, D.P. (eds.) Web3D, pp. 97\u2013100. ACM, New York (2007)"},{"key":"9_CR39","first-page":"65","volume-title":"Web3Dq","author":"I.M. Bilasco","year":"2006","unstructured":"Bilasco, I.M., Gensel, J., Villanova-Oliver, M., Martin, H.: An MPEG-7 framework enhancing the reuse of 3D models. In: Gracanin, D. (ed.) Web3Dq, pp. 65\u201374. ACM, New York (2006)"},{"key":"9_CR40","volume-title":"Proceedings of the 11th IEEE Nuclear Science Symposium","author":"B. Barroca","year":"2008","unstructured":"Barroca, B., Amaral, V., Risoldi, M., Caprini, M., Moreira, A., Ara\u00fajo, J.: Towards the application of model based design methodology for reliable control systems on HEP experiments. In: Proceedings of the 11th IEEE Nuclear Science Symposium. IEEE, Los Alamitos (2008), http:\/\/www.nss-mic.org\/2008\/NSSMain.asp"}],"container-title":["Lecture Notes in Computer Science","Human Machine Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00437-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T16:32:16Z","timestamp":1633278736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00437-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004360","9783642004377"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00437-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}