Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Book information
Description
This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018. The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and business information systems and software engineering. Front Matter ....Pages i-xii Front Matter ....Pages 1-1 Lessons Learned from an Action Research Study on the Use of Cloud Computing in Undergraduate Computer Science Courses (Heleno Cardoso da Silva Filho, Glauco de Figueiredo Carneiro)....Pages 3-23 Involvement of Business Roles in Auditing with Process Mining (Ella Roubtsova, Niels Wiersma)....Pages 24-44 Architecting Service-Dominant Digital Products (Alfred Zimmermann, Rainer Schmidt, Kurt Sandkuhl, Dierk Jugel, Justus Bogner, Michael Möhring)....Pages 45-67 Front Matter ....Pages 69-69 Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard (Roman Wirtz, Maritta Heisel, Angela Borchert, Rene Meis, Aida Omerovic, Ketil Stølen)....Pages 71-97 Incremental Bidirectional Transformations: Comparing Declarative and Procedural Approaches Using the Families to Persons Benchmark (Bernhard Westfechtel, Thomas Buchmann)....Pages 98-118 Adopting Collaborative Games into Agile Software Development (Mateusz Zakrzewski, Dagmara Kotecka, Yen Ying Ng, Adam Przybyłek)....Pages 119-136 Detecting Behavioral Design Patterns from Software Execution Data (Cong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst)....Pages 137-164 Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints (Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey)....Pages 165-185 From Object-Oriented to Workflow: Refactoring of OO Applications into Workflows for an Efficient Resources Management in the Cloud (Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony)....Pages 186-214 Crowdsourced Reverse Engineering: Experiences in Applying Crowdsourcing to Concept Assignment (Sebastian Heil, Valentin Siegert, Martin Gaedke)....Pages 215-239 A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process (Tawfeeq Alsanoosy, Maria Spichkova, James Harland)....Pages 240-260 Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models (Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder)....Pages 261-287 AHM: Handling Heterogeneous Models Matching and Consistency via MDE (Mahmoud El Hamlaoui, Saloua Bennani, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette)....Pages 288-313 GenesLove.Me 2.0: Improving the Prioritization of Genetic Variations (José Fabián Reyes Román, Alberto García, Urko Rueda, Óscar Pastor)....Pages 314-333 Automated Multi-objective Refactoring Based on Quality and Code Element Recentness (Michael Mohan, Des Greer)....Pages 334-351 The Formal Reference Model for Software Requirements (Erika Nazaruka, Jānis Osis)....Pages 352-372 Effective Decision Making in Self-adaptive Systems Using Cost-Benefit Analysis at Runtime and Online Learning of Adaptation Spaces (Jeroen Van Der Donckt, Danny Weyns, M. Usman Iftikhar, Sarpreet Singh Buttar)....Pages 373-403 Back Matter ....Pages 405-405
Similar books
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
2020 · PDF
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
2009 · PDF
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
2010 · PDF
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
2011 · PDF
Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
2013 · PDF
Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
2019 · PDF
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
2019 · PDF
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
2018 · PDF