Table of Contents

• Technical Debt - From Financial Metaphor to Daily Practice?Paris Avgeriou. 5
• High-level Verification and Validation of Software Supporting Business ProcessesHermann Kaindl. 7
• Model Me If You Can - Challenges and Benefits of Individual and Mass Data Analysis for EnterprisesMarco Brambilla. 9
• A Statistical Approach to Resolve Conflicting Requirements in Pervasive Computing SystemsOsama Mabrouk Khaled, Hoda Mohammed Hosny, Mohamed Shalan. 15-26 [doi]
• Feature Model Composition Assisted by Formal Concept AnalysisJessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut. 27-37 [doi]
• An Architecture for Visualization of Industrial Automation DataGuillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich W. Schmidt. 38-46 [doi]
• A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined FragmentsFatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes. 47-56 [doi]
• Security Support in Continuous Deployment PipelineFaheem Ullah, Adam Johannes Raft, Mojtaba Shahin, Mansooreh Zahedi, Muhammad Ali Babar. 57-68 [doi]
• Investigating the Prioritization of Unit Testing Effort using Software MetricsFadel Touré, Mourad Badri, Luc Lamontagne. 69-80 [doi]
• Knowledge Engineering for Business Process ModelingSonya Ouali, Mohamed Ben Ahmed Mhiri, Faïez Gargouri. 81-90 [doi]
• GenDomus: Interactive and Collaboration Mechanisms for Diagnosing Genetic DiseasesCarlos Iñiguez-Jarrín, Alberto García S., José F. Reyes R., Oscar Pastor López. 91-102 [doi]
• Automatic Source Code Generation for Web-based Process-oriented Information SystemsJean Pierre Alfonso Hoyos, Felipe Restrepo-Calle. 103-113 [doi]
• New Approach for Selecting Cluster Head based on LEACH Protocol for Wireless Sensor NetworksWided Abidi, Tahar Ezzedine. 114-120 [doi]
• Biologically Inspired Security as a Service for Service-Oriented MiddlewareTashreen Shaikh Jamaluddin, Hoda Hassan, Haitham S. Hamza. 121-132 [doi]
• GenesLove.Me: A Model-based Web-application for Direct-to-consumer Genetic TestsJosé Fabián Reyes Román, Carlos Iñiguez-Jarrín, Oscar Pastor López. 133-143 [doi]
• A Change Impact Analysis Model for Aspect Oriented ProgramsFabrice Déhoulé, Linda Badri, Mourad Badri. 144-157 [doi]
• Wireless Sensor Network based System for the Prevention of Hospital Acquired InfectionsIuliana M. Bocicor, Maria Dascalu, Agnieszka Gaczowska, Sorin Hostiuc, Alin Moldoveanu, Antonio Molina, Arthur-Jozsef Molnar, Ionut Negoi, Vlad Racovita. 158-167 [doi]
• A Statement Level Bug Localization Technique using Statement Dependency GraphShanto Rahman, Md. Mostafijur Rahman, Kazi Sakib. 171-178 [doi]
• Search based GUI Test Generation in Java - Comparing Code-based and EFG-based Optimization GoalsMathias Menninghaus, Falk Wilke, Jan-Philipp Schleutker, Elke Pulvermüller. 179-186 [doi]
• The GRADE Decision Canvas for Classification and Reflection on Architecture DecisionsEfi Papatheocharous, Kai Petersen, Jakob Axelsson, Claes Wohlin, Jan Carlson, Federico Ciccozzi, Séverine Sentilles, Antonio Cicchetti. 187-194 [doi]
• Entropy-based Framework Dealing with Error in Software Development Effort EstimationSalma El Koutbi, Ali Idri. 195-202 [doi]
• Network Reconfiguration for Wireless Sensor Networks using UML/MARTE ProfileRaoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid. 203-209 [doi]
• A Guidance System for Business Process FlexibilityAsma Mejri 0002, Sonia Ayachi Ghannouchi, Ricardo Martinho. 210-217 [doi]
• Introducing Context Awareness in Unmodified, Context-unaware SoftwareMarkus Raab, Gergö Barany. 218-225 [doi]
• Context-awareness Meta-model for Reconfigurable Control SystemsSoumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey. 226-234 [doi]
• A Tool for Visualizing the Execution of Programs and Stack Traces Especially Suited for Novice ProgrammersStanislav Litvinov, Marat Mingazov, Vladislav Myachikov, Vladimir Ivanov, Yuliya Palamarchuk, Pavel Sozonov, Giancarlo Succi. 235-240 [doi]
• From Temporal Models to Property-based TestingNasser Alzahrani, Maria Spichkova, Jan Olaf Blech. 241-246 [doi]
• Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent SystemDhouha Ben Noureddine, Atef Gharbi, Samir Ben Ahmed. 247-254 [doi]
• Web Migration - A Survey Considering the SME PerspectiveSebastian Heil, Martin Gaedke. 255-262 [doi]
• Prodeling with the Action Language for Foundational UMLThomas Buchmann. 263-270 [doi]
• Proactive Trust Assessment of Systems as ServicesJorge López, Natalia Kushik, Nina Yevtushenko. 271-276 [doi]
• Towards the Integration of Metaprogramming Services into JavaIgnacio Lagartos, Jose Manuel Redondo, Francisco Ortin. 277-284 [doi]
• A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation AppsSofia Ouhbi, José Luis Fernández Alemán, Ali Idri, Ambrosio Toval, José Rivera Pozo, Manal El Bajta. 285-292 [doi]
• Does the Migration to GitHub Relate to Internal Software Quality?Riccardo Roveda, Francesca Arcelli Fontana, Claudia Raibulet, Marco Zanoni, Federico Rampazzo. 293-300 [doi]
• Software Engineering and Genomics: The Two Sides of the Same Coin?José Fabián Reyes Román, Ana León Palacio, Oscar Pastor López. 301-307 [doi]
• Evaluating the Quality of the Documentation of Open Source SoftwareLerina Aversano, Daniela Guardabascio, Maria Tortorella. 308-313 [doi]
• Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal RequirementsAkanksha Mishra, Richa Sharma. 314-319 [doi]
• Patterns System for the Design of Partial Reconfigurable Applications on FPGANissaf Fredj, Mhamed Saidane, Yessine Hadj Kacem, Mohamed Abid. 325-335 [doi]
• Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis ModelErika Nazaruka. 336-345 [doi]
• A Survey on Domain Knowledge Representation with FramesVladislavs Nazaruks, Janis Osis. 346-354 [doi]
• Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning ModelViktoria Ovchinnikova, Erika Nazaruka. 355-366 [doi]
• Tool Support to Automate Transformations between CIM and PIM LevelsImane Essebaa, Salima Chantit. 367-378 [doi]
• Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and AnalysisVladislavs Nazaruks, Janis Osis. 379-390 [doi]