


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

, Zoltán Ságodi
, Rudolf Ferenc:
Systematic Comparison of Six Open-source Java Call Graph Construction Tools. 117-128 - Yousra Hafidi, Laid 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

, Ali Idri:
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

, Rahma Ben Ayed
, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
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

, Laid Kahloul, Mohamed Khalgui
:
On Improving Parallel Rebuilding of R-TNCESs. 315-322 - David Senkýr

, Petr Kroha:
Problem of Incompleteness in Textual Requirements Specification. 323-330 - Cesare Bartolini, Said Daoudagh

, Gabriele Lenzini
, Eda Marchetti:
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

, Amel Borgi, Sana Ben Hamida
, Marta Rukoz
:
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

, Dietmar Pfahl:
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

, Stefano Quer
, Tatsuya Harada:
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots. 416-427 - Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui

, Abdelmalik Bachir:
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

, Juliana de Melo Bezerra
:
A Blockchain Approach to Support Digital Contracts. 446-453 - Mateus Menezes Azevedo Coelho, Dylan Nakandakari Sugimoto, Gabriel Adriano de Melo

, Vitor Venceslau Curtis
, Juliana de Melo Bezerra
:
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

, Jacek Baginski
, Michal Socha, Tomasz Steclik
, Dawid Lesniak, Marek Wojtas, Barbara Flisiuk, Marcin Michalak:
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

, Dessislava Vassileva
, Yavor Dankov
:
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

, Rem W. Collier
:
Ethics by Agreement in Multi-agent Software Systems. 529-535 - Michail D. Papamichail, Themistoklis Diamantopoulos, Vasileios Matsoukas

, Christos L. Athanasiadis
, Andreas L. Symeonidis:
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

, Andreas L. Symeonidis:
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

, Anis Koubaa, Abdelmalik Bachir:
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

, Francisca Rosique:
An Augmented Reality Mirror Exergame using 2D Pose Estimation. 643-648 - Roman Janovský, David Sedlácek

, Jirí Zára:
On Improving 3D U-net Architecture. 649-656 - Cristian Lai

, Francesco Boi, Alberto Buschettu, Renato Caboni:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














