{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:33Z","timestamp":1750306113967,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":15,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1145\/3050385.3050402","type":"proceedings-article","created":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T19:32:36Z","timestamp":1565811156000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation of tool support for functional specification of complex systems"],"prefix":"10.1145","author":[{"given":"Olga","family":"Goubali","sequence":"first","affiliation":[{"name":"LIAS\/ENSMA & Segula, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Girard","sequence":"additional","affiliation":[{"name":"LIAS\/ENSMA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Guittet","sequence":"additional","affiliation":[{"name":"LIAS\/ENSMA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Bignon","sequence":"additional","affiliation":[{"name":"SEGULA Technologies, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamal","family":"Kesraoui","sequence":"additional","affiliation":[{"name":"SEGULA Technologies, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurianne","family":"Boulhic","sequence":"additional","affiliation":[{"name":"SEGULA Technologies, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Berruet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Sud, Lorient Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fr\u00e9d\u00e9ric","family":"Bouillon","sequence":"additional","affiliation":[{"name":"ENSM, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3050385.3050402-1","unstructured":"Bastien, J.M.C., Scapin, D. (1993). Ergonomic Criteria for the Evaluation of Human-Computer interfaces. Institut National de recherche en informatique et en automatique, France."},{"key":"key-10.1145\/3050385.3050402-2","doi-asserted-by":"crossref","unstructured":"Bignon, A., A. Rossi et P. Berruet (2013). An integrated design flow for the joint generation of control and interfaces from a business model. Computers in industry 64. p. 634--649.","DOI":"10.1016\/j.compind.2013.03.005"},{"key":"key-10.1145\/3050385.3050402-3","doi-asserted-by":"crossref","unstructured":"Bollin, A., & Rauner-Reithmayer, D. (2014, June). Formal specification comprehension: the art of reading and writing z. In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (pp. 3--9). ACM.","DOI":"10.1145\/2593489.2593491"},{"key":"key-10.1145\/3050385.3050402-4","unstructured":"Boucher, A. (2009).Ergonomie web : Pour des sites web efficaces (2nde Ed.). Eyrolles."},{"key":"key-10.1145\/3050385.3050402-5","unstructured":"Caumont, D. (2010).Les études de marché. Dunod."},{"key":"key-10.1145\/3050385.3050402-6","unstructured":"Goubali, O., Bignon, A., Berruet, P., Girard, P., & Guittet, L. (2014.). Anaxagore, un exemple d'ingénierie dirigée par les modèles pour la supervision industrielle."},{"key":"key-10.1145\/3050385.3050402-7","unstructured":"Kolski C. et Ezzedine H. Conception et évaluation des IHM de supervision : éléments méthodologiques. Revue Génie Logiciel (2003), 65, pp.2--11."},{"key":"key-10.1145\/3050385.3050402-8","unstructured":"Lachaume, T., Girard, P., Guittet, L., & Fousse, A. (2012). ProtoTask, new task model simulator. In Human-Centered Software Engineering (pp. 323--330). Springer Berlin Heidelberg."},{"key":"key-10.1145\/3050385.3050402-9","unstructured":"Lieberman, H., editor (2001). Your wish is my command: Programming by example. Morgan Kaufman."},{"key":"key-10.1145\/3050385.3050402-10","unstructured":"MOUSSA, F., Kolski, C., & Riahi, M. (2006). Analyse des dysfonctionnements des systèmes complexes en amont de la conception des IHM: apports, difficultés, et étude de cas.Revue d'Interaction Homme-Machine Vol, 7(2)."},{"key":"key-10.1145\/3050385.3050402-11","unstructured":"Nielsen, J. (1994). Heuristic evaluation. Usability Inspection Methods, 17 (1), 25--62."},{"key":"key-10.1145\/3050385.3050402-12","doi-asserted-by":"crossref","unstructured":"Pham H. System Software Reality (Spring Series in Reality Engineering), Springer-Verlag, New York (2005).","DOI":"10.1007\/1-84628-295-0"},{"key":"key-10.1145\/3050385.3050402-13","unstructured":"Rechard, J., 2015. Introduction des critère ergonomiques dans un système de génération automatique d'interfaces de supervision. Université de Bretagne Sud."},{"key":"key-10.1145\/3050385.3050402-14","unstructured":"Trudel, S. (2012).Using the COSMIC functional size measurement method (ISO 19761) as a software requierements improvement mechanism. Université du Québec."},{"key":"key-10.1145\/3050385.3050402-15","unstructured":"Weigers, Karl E. 2003. Software requirements, 2nd. Redmond, Wash.: Microsoft Press, xii, 350 p."}],"event":{"name":"the 15th Ergo'IA \"Ergonomie Et Informatique Avanc\u00e9\" Conference","start":{"date-parts":[[2016,7,6]]},"number":"15","location":"Bidart, France","end":{"date-parts":[[2016,7,8]]},"acronym":"Ergo'IA '16"},"container-title":["Proceedings of the 15th Ergo'IA \"Ergonomie Et Informatique Avanc\u00e9\" Conference on   - Ergo'IA '16"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3050385.3050402","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3050402&ftid=2080026&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:28Z","timestamp":1750217788000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3050385.3050402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1145\/3050385.3050402","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}