Table of Contents

• The Sensing Enterprise - Enterprise Information Systems in the Internet of ThingsSergio Gusmeroli. 5
• Towards Model-Driven Big-Data-as-a-ServiceErnesto Damiani. 9
• Are Suggestions of Coupled File Changes Interesting?Jasmin Ramadani, Stefan Wagner 0001. 15-26 [doi]
• Cloud Computing Adoption, Cost-benefit Relationship and Strategies for Selecting Providers: A Systematic ReviewAntonio Carlos Marcelino de Paula, Glauco de Figueiredo Carneiro. 27-39 [doi]
• Semi-automatic Generation of OrBAC Security Rules for Cooperative Organizations using Model-Driven EngineeringIrvin Dongo, Vanea Chiprianov. 43-50 [doi]
• Extended Change Identification SystemN. Parimala, Vinay Gautam. 51-58 [doi]
• Preventing Hospital Acquired Infections through a Workflow-based Cyber-physical SystemMaria-Iuliana Bocicor, Arthur-Jozsef Molnar, Cristian Taslitchi. 63-68 [doi]
• Breaking the Boundaries of Meta Models and Preventing Information Loss in Model-Driven Software Product LinesThomas Buchmann, Felix Schwägerl. 73-83 [doi]
• Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling ViewMohamed Naija, Samir Ben Ahmed. 84-90 [doi]
• A Methodology for Model-based Development and Safety Analysis of Transport SystemsSimon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann. 91-101 [doi]
• RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded SystemsFarid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane. 102-111 [doi]
• Towards Semantical DSMLs for Complex or Cyber-physical SystemsBlazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister. 115-123 [doi]
• Evolution Taxonomy for Software Architecture EvolutionNoureddine Gasmallah, Abdelkrim Amirat, Mourad Oussalah. 124-131 [doi]
• Systematic Mapping Study of Ensemble Effort EstimationAli Idri, Mohamed Hosni, Alain Abran. 132-139 [doi]
• A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control SystemsRaja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed. 140-147 [doi]
• Constraints-based URDAD Model VerificationFritz Solms, Priscilla Naa Dedei Hammond, Linda Marshall. 148-155 [doi]
• Evaluating A Novel Agile Requirements Engineering Method: A Case StudyTanel Tenso, Alex Norta, Irina Vorontsova. 156-163 [doi]
• An Empirical Study of Two Software Product Line ToolsKattiana Constantino, Juliana Alves Pereira, Juliana Padilha, Priscilla Vasconcelos, Eduardo Figueiredo. 164-171 [doi]
• Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class PointsMourad Badri, Linda Badri, William Flageol. 172-180 [doi]
• Self-Protection Mechanisms for Web Applications - A Case StudyClaudia Raibulet, Alberto Leporati, Andrea Metelli. 181-188 [doi]
• AWSM - Agile Web Migration for SMEsSebastian Heil, Martin Gaedke. 189-194 [doi]
• Validation of Loop Parallelization and Loop Vectorization TransformationsSudakshina Dutta, Dipankar Sarkar, Arvind Rawat, Kulwant Singh. 195-202 [doi]
• Multi-variant Model Transformations - A Problem StatementFelix Schwägerl, Thomas Buchmann, Bernhard Westfechtel. 203-209 [doi]
• Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells - A Search-based ApproachSalim Kebir, Isabelle Borne, Djamel Meslati. 210-215 [doi]
• CURA: Complex-system Unified Reference Architecture - Position Paper: A Practitioner ViewEthan Hadar, Irit Hadar. 216-221 [doi]
• Evaluating the Evaluators - An Analysis of Cognitive Effectiveness Improvement Efforts for Visual NotationsDirk van der Linden, Irit Hadar. 222-227 [doi]
• A Human-centred Framework for Combinatorial Test DesignMaria Spichkova, Anna Zamansky. 228-233 [doi]
• A Research Agenda on Visualizations in Information Systems EngineeringJens Gulden, Dirk van der Linden, Banu Aysolmaz. 234-240 [doi]
• Towards an Engineering Process for Developing Accessible Software in Small Software EnterprisesSandra Sanchez-Gordon, Mary-Luz Sánchez-Gordón, Sergio Luján-Mora. 241-246 [doi]
• Developing Green and Sustainable Software using Agile Methods in Global Software Development: Risk Factors for VendorsNasir Rashid, Siffat Ullah Khan. 247-253 [doi]
• An Enhanced Equivalence Checking Method to Handle Bugs in Programs with RecurrencesSudakshina Dutta, Dipankar Sarkar. 254-259 [doi]
• Zoetic Data and their GeneratorsPaul A. Bailes, Colin J. M. Kemp. 260-271 [doi]
• Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMsDavid Chen, René Hexel, Fawad Riasat Raja. 272-281 [doi]
• On Source Code Optimization for Interpreted Languages using State ModelsJorge López, Natalia Kushik, Nina Yevtushenko. 282-287 [doi]
• Managing Usability and Reliability Aspects in Cloud ComputingMaria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer. 288-295 [doi]
• End to End Specification based Test Generation of Web ApplicationsKhusbu Bubna. 296-302 [doi]
• An Appropriate Method Ranking Approach for Localizing Bugs using Minimized Search SpaceShanto Rahman, Kazi Sakib. 303-309 [doi]
• Topological Functioning Model for Software Development within MDA (Survey)Arturs Solomencevs. 315-326 [doi]
• The Validation Possibility of Topological Functioning Model using the Cameo Simulation ToolkitViktorija Ovchinnikova, Erika Nazaruka. 327-336 [doi]
• Comparison of Topological Functioning Model for Software Engineering with BPMN Approach in the Context of Model Driven ArchitectureJanis Osis, Arturs Solomencevs. 337-348 [doi]
• Verification of BPMN Model Functional Completeness by using the Topological Functioning ModelErika Nazaruka, Viktorija Ovchinnikova, Gundars Alksnis, Uldis Sukovskis. 349-358 [doi]
• Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial AutomationJames Harland, Jan Olaf Blech, Ian Peake, Luke Trodd. 363-369 [doi]
• Teaching of Formal Methods for Software EngineeringMaria Spichkova, Anna Zamansky. 370-376 [doi]
• Reasoning about Inconsistency in RE - Separating the Wheat from the ChaffAnna Zamansky, Irit Hadar, Daniel M. Berry. 377-382 [doi]
• Collaborative Model-based Development of a Remote Train Monitoring SystemPeter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech. 383-390 [doi]
• Let`s Make it Fun: Gamifying and Formalizing Code ReviewNaomi Unkelos-Shpigel, Irit Hadar. 391-395 [doi]
• Formal Methods in Collaborative ProjectsAnna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova. 396-402 [doi]