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
CloudCity: A Live Environment for the Management of Cloud Infrastructures. 27-36 - Diogo Amaral, Gil Domingues, João Pedro Dias
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
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. 68-79 - Arthur-Jozsef Molnar
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
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
Migration of Software Components to Microservices: Matching and Synthesis. 134-146 - Job N. Nyameino, Fazle Rabbi
A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines. 147-158 - Mohamed Ramdani
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. 159-168 - Fausto Fasano
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
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
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
Analyzing the Evolution of Javascript Applications. 359-366 - Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel
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, Laïd Kahloul, Mohamed Khalgui
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
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
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
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
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.
last updated on 2024-12-17 20:46 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: