Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation. Front Matter ....Pages I-XII Front Matter ....Pages 1-1 Guidelines for Designing User Interfaces to Analyze Genetic Data. Case of Study: GenDomus (Carlos Iñiguez-Jarrín, Alberto García S., José F. Reyes Román, Óscar Pastor López)....Pages 3-22 Biologically Inspired Anomaly Detection Framework (Tashreen Shaikh Jamaluddin, Hoda Hassan, Haitham Hamza)....Pages 23-47 Genomic Tools*: Web-Applications Based on Conceptual Models for the Genomic Diagnosis (José F. Reyes Román, Carlos Iñiguez-Jarrín, Óscar Pastor)....Pages 48-69 Technological Platform for the Prevention and Management of Healthcare Associated Infections and Outbreaks (Maria Iuliana Bocicor, Maria Dascălu, Agnieszka Gaczowska, Sorin Hostiuc, Alin Moldoveanu, Antonio Molina et al.)....Pages 70-90 Front Matter ....Pages 91-91 Exploiting Requirements Engineering to Resolve Conflicts in Pervasive Computing Systems (Osama M. Khaled, Hoda M. Hosny, Mohamed Shalan)....Pages 93-115 Assisting Configurations-Based Feature Model Composition (Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut)....Pages 116-140 A Cloud-Based Service for the Visualization and Monitoring of Factories (Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich W. Schmidt)....Pages 141-157 An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems (Fatma Dhaou, Ines Mouakher, J. Christian Attiogbé, Khaled Bsaies)....Pages 158-182 Fast Prototyping of Web-Based Information Systems Using a Restricted Natural Language Specification (Jean Pierre Alfonso Hoyos, Felipe Restrepo-Calle)....Pages 183-207 Model-Based Analysis of Temporal Properties (Maria Spichkova)....Pages 208-223 Towards a Java Library to Support Runtime Metaprogramming (Ignacio Lagartos, Jose Manuel Redondo, Francisco Ortin)....Pages 224-242 Design Approaches for Critical Embedded Systems: A Systematic Mapping Study (Daniel Feitosa, Apostolos Ampatzoglou, Paris Avgeriou, Frank J. Affonso, Hugo Andrade, Katia R. Felizardo et al.)....Pages 243-274 Back Matter ....Pages 275-275