Page - 349 - in Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments

References [1] J.C. Augusto, V. Callaghan, D. Cook, A. Kameas and I. Satoh, Intelligent environments: a manifesto, Human-Centric Computing and Information Sciences 3, 1 (2013), 12. [2] J.C. Augusto and A. Coronato, Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments. Journal on Reliable Intelligent Environments 1(1): 1-10 (2015) [3] The Guardian, Video released of Uber self-driving crash that killed woman in Arizona, https://www.theguardian.com/technology/2018/mar/22/video-released-of-uber-self-driving-crash-that- killed-woman-in-arizona, March 2018. [4] D. Preuveneers and P. Novais, A survey of software engineering best practices for the development of smart applications in Ambient Intelligence, Journal of Ambient Intelligence and Smart Environments 4, 3 (2012), 149–162. [5] M.J. Hornos, Application of Software Engineering techniques to improve the reliability of Intelligent Environments, Journal of Reliable Intelligent Environments 3, 1 (2017), 1–3. [6] M.J. Hornos and C. Rodríguez-Domínguez, Increasing user confidence in intelligent environments, Journal of Reliable Intelligent Environments 4, 2 (2018), 71–73. [7] A. Coronato and G. De Pietro, Formal specification and verification of ubiquitous and pervasive systems, ACM Transactions on Autonomous and Adaptive Systems 6, 1 (2011), Article No. 9. [8] J.C. Augusto and M.J. Hornos, Software simulation and verification to increase the reliability of Intelligent Environments, Advances in Engineering Software 58 (2013), 18–34. [9] L. Tang, Z. Yu, H. Wang, X. Zhou and Z. Duan, Methodology and tools for pervasive application development, International Journal of Distributed Sensor Networks 10, 4 (2014), Article ID 516432. [10] F. Corno, E. Guercio, L. De Russis and E. Gargiulo, Designing for user confidence in intelligent environments, Journal of Reliable Intelligent Environments 1, 1 (2015), 11–21. [11] T. Le Guilly, M.K. Nielsen, T. Pedersen, A. Skou, J. Kjeldskov and M. Skov, User constraints for reliable user-defined smart home scenarios, Journal of Reliable Intelligent Environments 2, 2 (2016), 75–91. [12] F. Corno, User expectations in intelligent environments: Issues and opportunities in the interaction of intelligent users and intelligent environments, Journal of Reliable Intelligent Environments 4, 4 (2018), 189–198. M.J.HornosandJ.C.Augusto / Introduction to theProceedingsofWoRIE’19 349