


default search action
14th ENASE 2019: Heraklion, Crete, Greece
- Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek:

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. SciTePress 2019, ISBN 978-989-758-375-9
Invited Speakers
- Sotiris Ioannidis:

Security Applications of GPUs. ENASE 2019: 5 - Daniel A. Menascé:

Taming Complexity with Self-managed Systems. ENASE 2019: 7 - Mike P. Papazoglou:

How Digital Twins Enable Model Driven Manufacturing. ENASE 2019: 9
Papers
- Jessica Moore

, Ben Gelman, David Slater:
A Convolutional Neural Network for Language-Agnostic Source Code Summarization. 15-26 - Pedro Lourenço, João Pedro Dias

, Ademar Aguiar
, Hugo Sereno Ferreira
:
CloudCity: A Live Environment for the Management of Cloud Infrastructures. 27-36 - Diogo Amaral, Gil Domingues, João Pedro Dias

, Hugo Sereno Ferreira
, Ademar Aguiar
, Rui Nóbrega
:
Live Software Development Environment for Java using Virtual Reality. 37-46 - Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli:

Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. 47-58 - Zachary Yannes, Gary S. Tyson:

Amniote: A User Space Interface to the Android Runtime. 59-67 - Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas

, Anna Philippou:
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. 68-79 - Arthur-Jozsef Molnar

, Alexandra Neamtu, Simona Motogna
:
Longitudinal Evaluation of Software Quality Metrics in Open-Source Applications. 80-91 - Predrag Filipovikj, Cristina Seceleanu

:
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. 92-103 - Allan Fábio de Aguiar Barbosa

, Francisco José da Silva e Silva
, Luciano Reis Coutinho, Davi Viana dos Santos, Ariel Soares Teles:
A Domain-Specific Modeling Language for Specification of Clinical Scores in Mobile Health. 104-113 - Ashalatha Kunnappilly, Simin Cai

, Raluca Marinescu, Cristina Seceleanu
:
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. 114-126 - Matthew Ormsby, Curtis Busby-Earle:

Scaling a Standardized Procedure to Conceptualizing and Completing User Stories across Scrum Teams and Industries. 127-133 - Andreas Christoforou

, Lambros Odysseos, Andreas S. Andreou:
Migration of Software Components to Microservices: Matching and Synthesis. 134-146 - Job N. Nyameino, Fazle Rabbi

, Ben-Richard Ebbesvik, Martin Chieng Were, Yngve Lamo
:
A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines. 147-158 - Mohamed Ramdani

, Laid Kahloul, Mohamed Khalgui
, Yousra Hafidi:
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. 159-168 - Fausto Fasano

, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Investigating Mobile Applications Quality in Official and Third-party Marketplaces. 169-178 - Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai:

Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches. 179-188 - Sarah A. Dahab, Stéphane Maag:

Suggesting Software Measurement Plans with Unsupervised Learning Data Analysis. 189-197 - Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya:

Model-based Network Fault Injection for IoT Protocols. 201-209 - Raoul Vallon, Stefan Strobl, Martin Ras, Mario Bernhart, Thomas Grechenig:

Distributed Kanban with Limited Geographical Distance: Analyzing Lean Principles Pull, Work in Progress and Kaizen. 210-217 - Jamila Oukharijane

, Imen Ben Said, Mohamed Amine Chaâbane
, Eric Andonoff, Rafik Bouaziz:
Towards a New Adaptation Engine for Self-Adaptation of BPMN Processes Instances. 218-225 - Richard Dijkstra, Ella E. Roubtsova

:
Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures. 226-233 - Cong Liu

, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst
:
A General Framework to Identify Software Components from Execution Data. 234-241 - Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed:

A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems. 242-248 - Mohamed El-Attar, Nidal Nasser

:
Refactoring Misuse Case Diagrams using Model Transformation. 249-256 - João Seixas, André Ribeiro, Alberto Rodrigues da Silva:

A Model-Driven Approach for Developing Responsive Web Apps. 257-264 - Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva:

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach. 265-272 - Mamadou Lakhassane Cisse, Hanh Nhi Tran

, Samba Diaw, Bernard Coulette, Alassane Bah
:
A Pattern-based Process Management System to Flexibly Execute Collaborative Tasks. 273-280 - Lars Huning, Padma Iyenghar, Elke Pulvermüller:

UML Specification and Transformation of Safety Features for Memory Protection. 281-288 - Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. 289-296 - Roman Wirtz, Maritta Heisel:

CVSS-based Estimation and Prioritization for Security Risks. 297-306 - Igor Ernesto Ferreira Costa, Sandro Ronaldo Bezerra Oliveira:

A Systematic Strategy to Teaching of Exploratory Testing using Gamification. 307-314 - Ichiro Satoh:

Developing and Testing Networked Software for Moving Robots. 315-321 - Bruno Azevedo, Mário Jino:

Modeling Traceability in Software Development: A Metamodel and a Reference Model for Traceability. 322-329 - Krzysztof Wnuk, Markus Borg, Tony Gorschek:

Towards New Ways of Evaluating Methods of Supporting Requirements Management and Traceability using Signal-to-Noise Ratio. 330-339 - Jens Leicht

, Maritta Heisel:
Architecture to Manage and Protect Personal Data Utilising Blockchain. 340-349 - Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua:

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. 350-358 - Angelos Chatzimparmpas, Stamatia Bibi, Ioannis Zozas

, Andreas Kerren:
Analyzing the Evolution of Javascript Applications. 359-366 - Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel

, Rahma Ben Ayed
, Simon Collart Dutilleul:
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. 367-376 - Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:

Formal Approach to Dynamic SoS Design. 377-384 - Anna Derezinska, Lukasz Zaremba:

Mutating UML State Machine Behavior with Semantic Mutation Operators. 385-393 - Yousra Hafidi, Laid Kahloul, Mohamed Khalgui

, Mohamed Ramdani
:
On Improved Verification of Reconfigurable Real-Time Systems. 394-401 - Diana Kirk, Stephen G. MacDonell, Ewan D. Tempero:

Consolidating a Model for Describing Situated Software Practices. 402-409 - N. Parimala:

Modelling Co-occurring Changes in a BPEL Process with Petri Nets. 410-416 - Mert Ozkaya, Nurdan Canbaz:

Towards Understanding Industry's Perspectives on the Software Quality Characteristics: A Survey. 417-426 - Pritom Saha Akash, Ali Zafar Sadiq, Ahmedul Kabir:

An Approach of Extracting God Class Exploiting Both Structural and Semantic Similarity. 427-433 - Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo:

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. 434-441 - Marija Katic

:
Hammock-based Identification of Changes in Advice Applications between Aspect-oriented Programs. 442-451 - Deepika Prakash:

NOSOLAP: Moving from Data Warehouse Requirements to NoSQL Databases. 452-458 - Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed:

Safe Design Real-time Embedded Systems with Security Patterns. 459-463 - Iuliana Marin, Maria-Iuliana Bocicor, Arthur-Jozsef Molnar

:
Indoor Localisation with Intelligent Luminaires for Home Monitoring. 464-471 - Zoltán Herczeg, Gábor Lóki

:
Evaluation and Comparison of Dynamic Call Graph Generators for JavaScript. 472-479 - Sofia Ouhbi

, Maria Karampela, Minna Isomursu:
Integrating Users Logic Into Requirements Engineering for Connected Healthcare co-Design. 480-485 - Adelina Diana Stana

, Ioana Sora
:
Identifying Logical Dependencies from Co-Changing Classes. 486-493 - Ali Zafar Sadiq, Md. Jubair Ibna Mostafa

, Kazi Sakib:
On the Evolutionary Relationship between Change Coupling and Fix-Inducing Changes. 494-501 - Diana Kirk:

Software Development Process: An Action Grammars Perspective. 502-509 - Aluízio Ramos Pereira Neto, Sandro Ronaldo Bezerra Oliveira:

A Software Tools Catalogue to Support the Statistical Process Control on the Software Context. 510-517 - Dennis Ziegenhagen, Andreas Speck, Elke Pulvermüller:

Using Developer-tool-Interactions to Expand Tracing Capabilities. 518-525 - Vaishali Chourey, Meena Sharma:

Optimizing Regression Testing with Functional Flow Block Reliability Diagram. 526-532 - Lassaad Ben Ammar

:
Towards a Uniform Model Transformation Process for Abstract User Interfaces Generation. 533-538 - Kenji Koga, Maria Spichkova, Nitin Mantri:

Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. 539-546 - Alfred Zimmermann, Rainer Schmidt

, Kurt Sandkuhl
:
Multiple Perspectives of Digital Enterprise Architecture. 547-554 - Heinz W. Schmidt, Maria Spichkova:

Towards Readability Aspects of Probabilistic Mode Automata. 555-562 - Maria Spichkova, Heinz W. Schmidt:

Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. 563-569 - Moez Krichen, Roobaea Alroobaea

:
A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. 570-577 - Nasir Hussain:

Categorical Classification of Factors Effecting Knowledge Management in Software Crowdsourcing: Hypothetical Framework. 578-585
Special Session on Model-Driven Innovations for Software Engineering
- Erika Nazaruka

, Janis Osis, Viktorija Gribermane:
Extracting Core Elements of TFM Functional Characteristics from Stanford CoreNLP Application Outcomes. 591-602 - Erika Nazaruka

:
Identification of Causal Dependencies by using Natural Language Processing: A Survey. 603-613 - Vladislavs Nazaruks, Janis Osis:

Vision of the TFM-driven Code Acquisition. 617-624

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














