default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ENASE 2016: Rome, Italy
- Leszek A. Maciaszek, Joaquim Filipe:
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016. SciTePress 2016, ISBN 978-989-758-189-2
Invited Speakers
Keynote Speakers
- Sergio Gusmeroli:
The Sensing Enterprise - Enterprise Information Systems in the Internet of Things. ENASE 2016: 5 - Ernesto Damiani:
Towards Model-Driven Big-Data-as-a-Service. ENASE 2016: 9
Service Science and Business Information Systems
Full Papers
- Jasmin Ramadani
, Stefan Wagner:
Are Suggestions of Coupled File Changes Interesting? 15-26 - Antonio Carlos Marcelino de Paula, Glauco de Figueiredo Carneiro:
Cloud Computing Adoption, Cost-benefit Relationship and Strategies for Selecting Providers: A Systematic Review. 27-39
Short Papers
- Irvin Dongo, Vanea Chiprianov:
Semi-automatic Generation of OrBAC Security Rules for Cooperative Organizations using Model-Driven Engineering. 43-50 - N. Parimala, Vinay Gautam:
Extended Change Identification System. 51-58
Mobile Software and Systems
Short Paper
- Maria-Iuliana Bocicor, Arthur-Jozsef Molnar, Cristian Taslitchi:
Preventing Hospital Acquired Infections through a Workflow-based Cyber-physical System. 63-68
Software Engineering
Full Papers
- Thomas Buchmann, Felix Schwägerl:
Breaking the Boundaries of Meta Models and Preventing Information Loss in Model-Driven Software Product Lines. 73-83 - Mohamed Naija, Samir Ben Ahmed:
Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. 84-90 - Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann:
A Methodology for Model-based Development and Safety Analysis of Transport Systems. 91-101 - Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. 102-111
Short Papers
- Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister:
Towards Semantical DSMLs for Complex or Cyber-physical Systems. 115-123 - Noureddine Gasmallah, Abdelkrim Amirat, Mourad Oussalah:
Evolution Taxonomy for Software Architecture Evolution. 124-131 - Ali Idri, Mohamed Hosni, Alain Abran:
Systematic Mapping Study of Ensemble Effort Estimation. 132-139 - Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. 140-147 - Fritz Solms, Priscilla Naa Dedei Hammond, Linda Marshall:
Constraints-based URDAD Model Verification. 148-155 - Tanel Tenso, Alex Norta, Irina Vorontsova:
Evaluating A Novel Agile Requirements Engineering Method: A Case Study. 156-163 - Kattiana Constantino, Juliana Alves Pereira, Juliana Padilha, Priscilla Vasconcelos, Eduardo Figueiredo:
An Empirical Study of Two Software Product Line Tools. 164-171 - Mourad Badri, Linda Badri, William Flageol:
Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class Points. 172-180 - Claudia Raibulet, Alberto Leporati, Andrea Metelli:
Self-Protection Mechanisms for Web Applications - A Case Study. 181-188 - Sebastian Heil, Martin Gaedke:
AWSM - Agile Web Migration for SMEs. 189-194 - Sudakshina Dutta, Dipankar Sarkar, Arvind Rawat, Kulwant Singh:
Validation of Loop Parallelization and Loop Vectorization Transformations. 195-202 - Felix Schwägerl, Thomas Buchmann, Bernhard Westfechtel:
Multi-variant Model Transformations - A Problem Statement. 203-209 - Salim Kebir, Isabelle Borne, Djamel Meslati:
Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells - A Search-based Approach. 210-215 - Ethan Hadar, Irit Hadar:
CURA: Complex-system Unified Reference Architecture - Position Paper: A Practitioner View. 216-221 - Dirk van der Linden, Irit Hadar:
Evaluating the Evaluators - An Analysis of Cognitive Effectiveness Improvement Efforts for Visual Notations. 222-227 - Maria Spichkova, Anna Zamansky:
A Human-centred Framework for Combinatorial Test Design. 228-233 - Jens Gulden, Dirk van der Linden, Banu Aysolmaz:
A Research Agenda on Visualizations in Information Systems Engineering. 234-240 - Sandra Sanchez-Gordon, Mary-Luz Sánchez-Gordón, Sergio Luján-Mora:
Towards an Engineering Process for Developing Accessible Software in Small Software Enterprises. 241-246 - Nasir Rashid, Siffat Ullah Khan:
Developing Green and Sustainable Software using Agile Methods in Global Software Development: Risk Factors for Vendors. 247-253 - Sudakshina Dutta, Dipankar Sarkar:
An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. 254-259 - Paul A. Bailes, Colin J. M. Kemp:
Zoetic Data and their Generators. 260-271 - David Chen, René Hexel, Fawad Riasat Raja:
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs. 272-281 - Jorge López, Natalia Kushik, Nina Yevtushenko:
On Source Code Optimization for Interpreted Languages using State Models. 282-287 - Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer:
Managing Usability and Reliability Aspects in Cloud Computing. 288-295 - Khusbu Bubna:
End to End Specification based Test Generation of Web Applications. 296-302 - Shanto Rahman, Kazi Sakib:
An Appropriate Method Ranking Approach for Localizing Bugs using Minimized Search Space. 303-309
Special Session on Model-Driven Innovations for Software Engineering
Full Papers
- Arturs Solomencevs:
Topological Functioning Model for Software Development within MDA (Survey). 315-326 - Viktorija Ovchinnikova, Erika Nazaruka:
The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit. 327-336 - Janis Osis, Arturs Solomencevs:
Comparison of Topological Functioning Model for Software Engineering with BPMN Approach in the Context of Model Driven Architecture. 337-348 - Erika Nazaruka, Viktorija Ovchinnikova, Gundars Alksnis, Uldis Sukovskis:
Verification of BPMN Model Functional Completeness by using the Topological Functioning Model. 349-358
Special Session on Collaborative Aspects of Formal Methods
Short Papers
- James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd:
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. 363-369 - Maria Spichkova, Anna Zamansky:
Teaching of Formal Methods for Software Engineering. 370-376 - Anna Zamansky, Irit Hadar, Daniel M. Berry:
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. 377-382 - Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech:
Collaborative Model-based Development of a Remote Train Monitoring System. 383-390 - Naomi Unkelos-Shpigel, Irit Hadar:
Let's Make it Fun: Gamifying and Formalizing Code Review. 391-395 - Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova:
Formal Methods in Collaborative Projects. 396-402
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
