Search for Author All Reviews
	Palanque, Philippe     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       The handbook of formal methods in human-computer interaction Weyers B., Bowen J., Dix A., Palanque P., Springer International Publishing, New York, NY, 2017. 575 pp.  Type: Book (978-3-319518-37-4) Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings of CHI [1,2], the leading conference in the domain, will make this clear: almost all papers report on carefully crafte...... Jan 22 2018      Systematic automation of scenario-based testing of user interfaces Campos J., Fayollas C., Martinie C., Navarre D., Palanque P., Pinto M.  EICS 2016 (Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Brussels, Belgium, Jun 21-24, 2016) 138-148, 2016.  Type: Proceedings In May 2016, the driver of a Tesla Model S equipped with the autopilot feature was killed when his vehicle crashed into a tractor-trailer [1]. Tesla confirmed that the vehicle’s autopilot was active and that its brakes were n...... Aug 18 2016     Formal description of multi-touch interactions Hamon A., Palanque P., Silva J., Deleris Y., Barboni E.  EICS 2013 (Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, London, UK, Jun 24-27, 2013) 207-216, 2013.  Type: Proceedings The combination of handheld devices and touch-based input modes has opened the door to more convenient and intimate interactions between humans and computers. Many of us carry them at all times, and perform tasks that are impractical w...... May 7 2014     ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability Navarre D., Palanque P., Ladry J., Barboni E. ACM Transactions on Computer-Human Interaction 16(4): 1-56, 2009.  Type: Article The paper presents a novel user interface formal description technique, its language (ICOs), and Petshop, “the CASE tool supporting ICOs notation.” ICOs and Petshop were field-tested on large-scale systems within th...... Feb 17 2010
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy