{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:13:46Z","timestamp":1725585226657},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852333553"},{"type":"electronic","value":"9781447102793"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4471-0279-3_23","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T11:24:06Z","timestamp":1307705046000},"page":"237-246","source":"Crossref","is-referenced-by-count":0,"title":["Use of Formalized Guidelines for Semi-Automated Generation of GUI: The Ergo-Conceptor+ Tool"],"prefix":"10.1007","author":[{"given":"Faouzi","family":"Moussa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meriem","family":"Riahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","first-page":"109","volume-title":"Critical Issues in User Interface Systems Engineering","author":"F Bodart","year":"1995","unstructured":"Bodart, F, Hennebert, A.-M., Leheureux, J.-M., Provot, I., Vanderdonckt, J., Zucchinetti, G.: Key Activities for a Development Methodology of Interactive Applications. In: Benyon, D., Palanque, Ph. (eds.): Critical Issues in User Interface Systems Engineering. Springer-Verlag, Berlin (1995) 109\u2013134"},{"key":"23_CR2","unstructured":"Chehaibar, M.: M\u00e9thodes d\u2019analyse hi\u00e9rarchique des RdP. PhD Thesis. Universit\u00e9 de Paris 6, Paris (1991)"},{"key":"23_CR3","first-page":"47","volume-title":"Les facteurs humains de la fiabilit\u00e9 dans les syst\u00e8mes complexes","author":"E Fadier","year":"1990","unstructured":"Fadier, E.: Fiabilit\u00e9 Humaine: M\u00e9thodes d\u2019analyse et domaine d\u2019application. In: Leplat, J., de Terssac, G. (Eds.): Les facteurs humains de la fiabilit\u00e9 dans les syst\u00e8mes complexes. Editions Octar\u00e8s, Marseille (1990) 47\u201380"},{"key":"23_CR4","unstructured":"Farenc, C., ERGOVAL: une m\u00e9thode de structuration des r\u00e8gles ergonomiques permettant l\u2019\u00e9valuation automatique d\u2019interfaces graphiques. PhD Thesis, Universit\u00e9 Toulouse 1, Toulouse (1997)"},{"key":"23_CR5","unstructured":"Gilmore, W.E., Gertman, D.I., Blackman, H.S.: User Computer Interface in Process Control: A Human Factors Engineering. Handbook. Academic Press (1989)"},{"key":"23_CR6","first-page":"4","volume-title":"Third Annual Meeting of the International Special Interest Group on \u201cTools for working with guidelines\u201d","author":"C Kolski","year":"1996","unstructured":"Kolski, C., Moussa, F.: Two examples of \u201cTools for working with guidelines\u201d for process control field: Synop and Ergo-Conceptor. In: J. Vanderdonckt (Ed.): Third Annual Meeting of the International Special Interest Group on \u201cTools for working with guidelines\u201d (Namur, Belgium, 4 June 1996)"},{"key":"23_CR7","volume-title":"Interfaces Homme-Machine: Application aux syst\u00e8mes Industriels complexes","author":"C Kolski","year":"1997","unstructured":"Kolski, C.: Interfaces Homme-Machine: Application aux syst\u00e8mes Industriels complexes. Editions Herm\u00e8s, Paris (1997)"},{"issue":"1","key":"23_CR8","first-page":"17","volume":"4","author":"M Moalla","year":"1985","unstructured":"Moalla, M.: R\u00e9seaux de Petri interpr\u00e9t\u00e9s et Grafcet. Techniques & Sciences Informatiques. 4, 1 (1985) 17\u201330","journal-title":"Techniques & Sciences Informatiques"},{"key":"23_CR9","volume-title":"Contribution \u00e0 la conception ergonomique des interfaces de supervision dans les proc\u00e9d\u00e9s Industriels: Application au syst\u00e8me Ergo-Conceptor. PhD Thesis","author":"F Moussa","year":"1992","unstructured":"Moussa, F.: Contribution \u00e0 la conception ergonomique des interfaces de supervision dans les proc\u00e9d\u00e9s Industriels: Application au syst\u00e8me Ergo-Conceptor. PhD Thesis. University of Valenciennes, Valenciennes (1992)"},{"issue":"3","key":"23_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0953-5438(99)00014-4","volume":"12","author":"F Moussa","year":"2000","unstructured":"Moussa, F., Kolski, C., Riahi, M.: A Model Based Approach to Semi-Automated User Interface Generation for Process Control Interactive Applications. Interacting with Computers 12, 3 (2000) 245\u2013279","journal-title":"Interacting with Computers"},{"key":"23_CR11","first-page":"988","volume-title":"Human-Computer Interaction, Ergonomics and User Interfaces","author":"F Moussa","year":"1999","unstructured":"Moussa, F., Riahi, M., Moalla, M., Kolski, C.: A Petri Nets Based Method for Specification and Automated Generation of User Interface. In H.J. Bullinger and J. Ziegler (Ed.), Human-Computer Interaction, Ergonomics and User Interfaces, volume 1. London: Lawrence Erlbaum Associates (1999) 988\u2013992"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0953-5438(97)00013-1","volume":"9","author":"P Palanque","year":"1997","unstructured":"Palanque, P., Bastide, R.: Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques. Interacting with computers 9 (1997) 129\u2013153","journal-title":"Interacting with computers"},{"key":"23_CR13","first-page":"191","volume-title":"Verification of an Interactive Software by Analysis of its Formal Specification. In: Proc. of IFIP Conf. on Human-Computer Interaction Interact\u201995","author":"P Palanque","year":"1995","unstructured":"Palanque, P., Bastide, R.: Verification of an Interactive Software by Analysis of its Formal Specification. In: Proc. of IFIP Conf. on Human-Computer Interaction Interact\u201995 (Lillehammer, June 27\u201329, 1995). Chapman & Hall, London (1995) 27\u201329"},{"key":"23_CR14","volume-title":"NATO ASI series","author":"J Rasmussen","year":"1986","unstructured":"Rasmussen, J.: Intelligent Decision Support in Process Environments. A framework for cognitive Task Analysis in System Design In: Hollnagel, E., Mancini, G., Woods, D.D. (Eds.). NATO ASI series. Vol. F21. Springer-Verlag, Berlin (1986)"},{"key":"23_CR15","unstructured":"Riahi, M., Moussa, F., Moalla, M., Kolski, C.: Vers une sp\u00e9cification formelle des Interfaces Homme-Machine bas\u00e9e sur l\u2019utilisation des R\u00e9seaux de Petri. In: Proc. of ERGO-IA\u2019 98 (Biarritz, November 4\u20136, 1998). Eds ESTIA\/ILS France (1998) 4\u20136"},{"key":"23_CR16","unstructured":"Souissi, Y.: Properties Preservation by Composition of Nets via a Set of Transitions. In: Proc. of 11`s Int. Conf. on Applications and Theory of Petri Nets (Paris, June 1990)"},{"issue":"2","key":"23_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0953-5438(99)00019-3","volume":"12","author":"J Vanderdonckt","year":"1999","unstructured":"Vanderdonckt, J.: Development Milestones toward a Tool For Working With Guidelines. Interacting with Computers 12, 2 (1999) 81\u2013118","journal-title":"Interacting with Computers"}],"container-title":["Tools for Working with Guidelines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0279-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T05:18:57Z","timestamp":1539321537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0279-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781852333553","9781447102793"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0279-3_23","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}