default search action
14th ICSOFT 2019: Prague, Czech Republic
- Marten van Sinderen, Leszek A. Maciaszek:
Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019. SciTePress 2019, ISBN 978-989-758-379-7
Invited Speakers
- Manfred Reichert:
Overcoming the Drawbacks of Traditional Process Management Software. ICSOFT 2019: 5 - Michael G. Hinchey:
Is There Anything That Isn't Software? ICSOFT 2019: 7 - Hans-Georg Fill:
Blockchains and Enterprise Modeling: Opportunities and Challenges. ICSOFT 2019: 9
Software Engineering and Systems Development
- Ulrike Witteck, Denis Grießbach, Paula Herber:
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. 15-26 - Robin Bolscher, Maya Daneva:
Designing Software Architecture to Support Continuous Delivery and DevOps: A Systematic Literature Review. 27-39 - Stefan Huber, Lukas Demetz:
Performance Analysis of Mobile Cross-platform Development Approaches based on Typical UI Interactions. 40-48 - Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
Quantitative Metrics for Mutation Testing. 49-59 - Louis Racicot, Nicolas Cloutier, Julien Abt, Fábio Petrillo:
Quality Aspects of Serverless Architecture: An Exploratory Study on Maintainability. 60-70 - Roman Wirtz, Maritta Heisel:
RE4DIST: Model-based Elicitation of Functional Requirements for Distributed Systems. 71-81 - Ciprian Paduraru, Marius-Constantin Melemciuc, Bogdan Ghimis:
Fuzz Testing with Dynamic Taint Analysis based Tools for Faster Code Coverage. 82-93 - Xiaoxing Yang:
Evaluating Software Metrics for Sorting Software Modules in Order of Defect Count. 94-105 - Darlan Arruda
, Nazim H. Madhavji, Ibtehal Noorwali:
A Validation Study of a Requirements Engineering Artefact Model for Big Data Software Development Projects. 106-116 - Judit Jász, István Siket, Edit Pengo
Systematic Comparison of Six Open-source Java Call Graph Construction Tools. 117-128 - Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. 129-140 - Chris Kopetschny, Morgan Ericsson, Welf Löwe, Anna Wingkvist:
Optimization of Software Estimation Models. 141-150 - Julio Cezar Costa Furtado, Sandro Ronaldo Bezerra Oliveira:
An Experimental Evaluation of a Teaching Approach for Statistical Process Control for Software Engineers: An Experimental Study. 153-161 - Estêvão Damasceno Santos, Sandro Ronaldo Bezerra Oliveira:
The Use of Game Elements and Scenarios for Teaching and Learning the Function Point Analysis Technique: A Experimental Study. 162-169 - Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar:
A Formal Requirements Modeling Approach: Application to Rail Communication. 170-177 - Dragos Dobrean, Laura Diosan:
An Analysis System for Mobile Applications MVC Software Architectures. 178-185 - István Gergely Czibula, Zsuzsanna Onet-Marian, Robert-Francisc Vida:
Automatic Algorithmic Complexity Determination Using Dynamic Program Analysis. 186-193 - Elziane Monteiro Soares, Sandro Ronaldo Bezerra Oliveira:
Application of Open Coding using the Grounded Theory Method to Identify the Profile of Information and Commucation Technology Companies in the State of Pará from Brazil. 194-201 - Antonilson da Silva Alcantara, Sandro Ronaldo Bezerra Oliveira:
Gamification and Evaluation of the Knowledge Management Application in a Software Quality Lab: An Experimental Study. 202-209 - Marwa Benabdelali, Lamia Labed Jilani:
Deriving Programs by Reliability Enhancement. 210-217 - Manal El Bajta
A Software Cost Estimation Taxonomy for Global Software Development Projects. 218-225 - Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy:
Test Suite Minimization of Evolving Software Systems: A Case Study. 226-237 - Laura-Diana Radu:
Effort Prediction in Agile Software Development with Bayesian Networks. 238-245 - Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro:
Code Reuse between Java and Android Applications. 246-253 - Cristina Marinescu:
Applications of Automated Model's Extraction in Enterprise Systems. 254-261 - Bui Do Tien Hung, Takayuki Omori, Atsushi Ohnishi:
Ripple Effect Analysis of Data Flow Requirements. 262-269 - Árpád Beszédes
Investigating Fault Localization Techniques from Other Disciplines for Software Engineering. 270-277 - Kenza Kraibi
Event-B Decomposition Analysis for Systems Behavior Modeling. 278-286 - Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. 287-297 - Iaakov Exman, Netanel Ohayon:
Software Modularity Coupling Resolution by the Laplacian of a Bipartite Dependency Graph. 298-305 - Damian M. Lyons, Saba B. Zahra, Thomas M. Marshall:
Towards Lakosian Multilingual Software Design Principles. 306-314 - Mohamed Ramdani
On Improving Parallel Rebuilding of R-TNCESs. 315-322 - David Senkýr
Problem of Incompleteness in Textual Requirements Specification. 323-330 - Cesare Bartolini, Said Daoudagh
Towards a Lawful Authorized Access: A Preliminary GDPR-based Authorized Access. 331-338 - András Kicsi, Márk Rákóczi, László Vidács:
Exploration and Mining of Source Code Level Traceability Links on Stack Overflow. 339-346 - Nazakat Ali, Jang-Eui Hong:
A Bird's Eye View on Social Network Sites and Requirements Engineering. 347-354
Software Systems and Applications
- Marwa Ben M'Barek
Genetic Algorithm to Detect Different Sizes' Communities from Protein-Protein Interaction Networks. 359-370 - Wiem Khlif, Mariem Kchaou, Faïez Gargouri
A Framework for Evaluating Business Process Performance. 371-383 - Faiz Ali Shah, Kairit Sirts
Simulating the Impact of Annotation Guidelines and Annotated Data on Extracting App Features from App Reviews. 384-396 - Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag:
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. 397-406 - Thierno Birahime Sambe, Stephane Maag, Ana R. Cavalli:
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. 407-415 - Francesco Savarese, Antonio Tejero-de-Pablos
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots. 416-427 - Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui
Cooperative Energy Management Software for Networked Microgrids. 428-438 - Bolatzhan Kumalakov, Yassynzhan Shakan, Moldir Nakibayeva
Business Processes and Chains of Kazakhstan How do Organisations Start Blockchain Projects and Evolve Throughout? 441-445 - Victor H. Breder, Laurival S. C. Neto, Thiago F. Medeiros, Ivan M. Padalko, Guilherme S. Oliveira, Vitor Venceslau Curtis
A Blockchain Approach to Support Digital Contracts. 446-453 - Mateus Menezes Azevedo Coelho, Dylan Nakandakari Sugimoto, Gabriel Adriano de Melo
A MapReduce based Approach for Circle Detection. 454-459 - Bruno de Souza Neves, Filipe Mourão Leite, Lucas da Silva Jorge, Rahyan Azin Gondin Paiva, Juliana de Melo Bezerra, Vitor Venceslau Curtis
Exploring DDoS Mechanisms. 460-467 - Gilles Neyens, Denis Zampuniéris:
Proactive Model for Handling Conflicts in Sensor Data Fusion Applied to Robotic Systems. 468-474 - Wojciech Górka
Cloud Decision Support System for Risk Management in Railway Transportation. 475-482 - Martin Stefanko, Ondrej Chaloupka, Bruno Rossi
The Saga Pattern in a Reactive Microservices Environment. 483-490 - Boyan Bontchev
The APOGEE Software Platform for Construction of Rich Maze Video Games for Education. 491-498 - Mert Ozkaya:
Teaching Design-by-Contract for the Modeling and Implementation of Software Systems. 499-507 - Shivam, Nilanjana Goswami, Veeky Baths, Soumyadip Bandyopadhyay:
AES: Automated Evaluation Systems for Computer Programing Course. 508-513 - Mustapha Derras, Laurent Deruelle, Jean-Michel Douin, Nicole Lévy, Francisca Losavio, Rahina Oumarou Mahamane, Valérie Reiner:
Approach for Variability Management of Legal Rights in Human Resources Software Product Lines. 514-521 - Catarina Romão Proença, Jorge Bernardino
Evaluating Gant Project, Orange Scrum, and ProjeQtOr Open Source Project Management Tools using QSOS. 522-528 - Vivek Nallur
Ethics by Agreement in Multi-agent Software Systems. 529-535 - Michail D. Papamichail, Themistoklis Diamantopoulos, Vasileios Matsoukas
Towards Extracting the Role and Behavior of Contributors in Open-source Projects. 536-543 - Kyriakos C. Chatzidimitriou, Michail D. Papamichail, Themistoklis Diamantopoulos, Napoleon-Christos I. Oikonomou
npm Packages as Ingredients: A Recipe-based Approach. 544-551 - Christoph Matthies, Guenter Hesse:
Towards using Data to Inform Decisions in Agile Software Development: Views of Available Data. 552-559 - Yousra Ben Aissa, Hanen Grichi, Mohamed Khalgui
QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network. 560-569 - Pedro Costa e Silva, Jorge Bernardino
Java Web Services: A Performance Analysis. 570-576 - Paul Diac, Emanuel Onica:
Towards Integrated Failure Recovery for Web Service Composition. 577-584 - Emiel Caron, Sasa Batistic:
Knowledge Hubs in Competence Analytics: With a Case Study in Recruitment and Selection. 585-594 - Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. 595-604 - Laura González, Raúl Ruggia:
Formalizing a Policy-based Compliance Control Solution with Event-B. 605-613
Foundational and Trigger Technologies
- David Gesvindr, Jaroslav Davidek, Barbora Buhnova:
Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud. 619-630 - László Tóth, Balázs Nagy, Dávid Janthó, László Vidács, Tibor Gyimóthy:
Towards an Accurate Prediction of the Question Quality on Stack Overflow using a Deep-Learning-Based NLP Approach. 631-639 - Fernando Losilla
An Augmented Reality Mirror Exergame using 2D Pose Estimation. 643-648 - Roman Janovský, David Sedlácek
On Improving 3D U-net Architecture. 649-656 - Cristian Lai
A Microservice Architecture for Multimobility in a Smart City. 657-664 - Daniel Tovarnák:
An Algorithm for Message Type Discovery in Unstructured Log Data. 665-676 - Emanuel Onica, Hugues Mercier, Etienne Rivière:
From Confidential kNN Queries to Confidential Content-based Publish/Subscribe. ICSOFT 2019: 677-682
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-03-10 20:55 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: