default search action
12th ICSOFT 2017: Madrid, Spain
- Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, Enrique Cabello:
Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017. SciTePress 2017, ISBN 978-989-758-262-2 - Dhouha Ben Noureddine, Atef Gharbi, Samir Ben Ahmed:
Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment. 17-26 - István Gergely Czibula, Gabriela Czibula, Zsuzsanna Marian:
An Improved Approach for Class Test Ordering Optimization using Genetic Algorithms. 27-37 - Oleg Selajev, Allan Gregersen:
Using Runtime State Analysis to Decide Applicability of Dynamic Software Updates. 38-49 - Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
Game Bot Detection in Online Role Player Game through Behavioural Features. 50-60 - Fadwa Yahya, Khouloud Boukadi, Hanêne Ben-Abdallah, Zakaria Maamar:
A Fuzzy Logic-based Approach for Assessing the Quality of Business Process Models. 61-72 - Valasia Dimaridou, Alexandros-Charalampos Kyprianidis, Michail Papamichail, Themistoklis G. Diamantopoulos, Andreas L. Symeonidis:
Towards Modeling the User-perceived Quality of Source Code using Static Analysis Metrics. 73-84 - Ines Ben Messaoud, Refka Ben Ali, Jamel Feki:
From Document Warehouse to Column-Oriented NoSQL Document Warehouse. 85-94 - Ilham Alloui, Flavien Vernier:
A Wise Object Framework for Distributed Intelligent Adaptive Systems. 95-104 - Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Specification Approach using GR-TNCES: Application to an Automotive Transport System. 105-115 - Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet:
An Intentional Perspective on Partial Agile Adoption. 116-127 - Dhikra Kchaou, Nadia Bouassida, Hanêne Ben-Abdallah:
A New Approach for Traceability between UML Models. 128-139 - Imen Ben Mansour, Inès Alaya, Moncef Tagina:
A Min-Max Tchebycheff Based Local Search Approach for MOMKP. 140-150 - Yudith Cardinale, Sonia Guehis, Marta Rukoz:
Big Data Analytic Approaches Classification. 151-162 - Amira Dhouib, Abdelwaheb Trabelsi, Christophe Kolski, Mahmoud Neji:
Towards the Layered Evaluation of Interactive Adaptive Systems using ELECTRE TRI Method. 163-170 - Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui:
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems. 171-177 - Tsvetan Tsokov, Dessislava Petrova-Antonova:
EcoLogic: IoT Platform for Control of Carbon Emissions. 178-185 - Nasser Mustafa, Yvan Labiche:
Employing Linked Data in Building a Trace Links Taxonomy. 186-198 - Damian M. Lyons, Anne Marie Bogar, David Baird:
Lightweight Multilingual Software Analysis. 201-207 - Imen Marsit, Mohamed Nazih Omri, Ali Mili:
Estimating the Survival Rate of Mutants. 208-213 - Edvan Soares, Marcos Eduardo, Vanilson Arruda Burégio, Emir Ugljanin, Zakaria Maamar:
SAND - A Dashboard for Analyzing Employees' Social Actions over Google Hangouts. 214-219 - Andrei Panu:
A Novel Method for Improving Productivity in Software Administration and Maintenance. 220-229 - Behzad Nazarbakhsh, Dietmar Pfahl:
What Techniques Can Be Used for GUI Risk-based Testing? 239-248 - Lerina Aversano, Carmine Grasso, Pasquale Grasso, Maria Tortorella:
Investigating Differences and Commonalities of Software Metric Tools. 249-256 - Anca Daniela Ionita, Mariana Mocanu:
Metamodeling Approach for Hazard Management Systems. 257-264 - Wiem Khlif, Mariem Haoues, Asma Sellami, Hanêne Ben-Abdallah:
Analyzing Functional Changes in BPMN Models using COSMIC. 265-274 - Hassan Haidar, Manuel Kolp, Yves Wautelet:
Agile Product Line Engineering: The AgiFPL Method. 275-285 - Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Tomás Bures, Rima Al Ali, Mauro Iacono, Priscill Orue-Esquivel, Florin Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems. 286-293 - Ciprian Paduraru:
A Selection of Development Processes, Tools, and Methods for Organizations that Share a Software Framework between Internal Projects. 294-301 - Jens Albrecht, Kai Wadlinger:
An Evaluation of Cloud-based Platforms for Web-Application Development. 302-309 - Jan Vykopal, Radek Oslejsek, Pavel Celeda, Martin Vizváry, Daniel Tovarnák:
KYPO Cyber Range: Design and Use Cases. 310-321 - Youssef Khaoula, Walid Boukadida, Michio Okada:
A Motivating Social Robot to Help Achieve Cognitive Consonance During STEM Learning. 322-329 - David Granada, Juan M. Vara, Francisco J. Pérez Blanco, Esperanza Marcos:
Model-based Tool Support for the Development of Visual Editors - A Systematic Mapping Study. 330-337 - Vu H. A. Nguyen, Manuel Kolp, Yves Wautelet, Samedi Heng:
Aligning Requirements-driven Software Processes with IT Governance. 338-345 - Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui:
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. 346-354 - Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
New Verification Approach for Reconfigurable Distributed Systems. 355-362 - Boni García, Micael Gallego, Francisco Gortázar, Eduardo Jiménez:
WebRTC Testing: State of the Art. 363-371 - Christophe Ponsard, Robert Darimont:
Improving Requirements Engineering through Goal-oriented Models and Tools: Feedback from a Large Industrial Deployment. 372-381 - Santiago P. Jácome-Guerrero, Juan de Lara:
Towards a Mechanism for Controlling Meta-model Extensibility. 382-387 - Soumyadip Bandyopadhyay, Santonu Sarkar, Kunal Banerjee:
An End-to-end Formal Verifier for Parallel Programs. 388-393 - Shinpei Hayashi, Fumiki Minami, Motoshi Saeki:
Inference-based Detection of Architectural Violations in MVC2. 394-401 - Eric Harth, Philippe Dugerdil:
Program Understanding Models: An Historical Overview and a Classification. 402-413 - Laura González, Raúl Ruggia:
Towards a Middleware and Policy-based Approach to Compliance Management for Collaborative Organizations Interactions. 414-420 - Christoph Luckeneder, Hermann Kaindl, Martin Korinek:
Automated Unit Testing in Model-based Embedded Software Development. 427-434 - Jorge Nereu, Ana de Almeida, Jorge Bernardino:
Big Data Analytics: A Preliminary Study of Open Source Platforms. 435-440 - Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Analyzing and Validating Virtual Network Requests. 441-446 - Eduardo Carvalho, Raul Barbosa, Jorge Bernardino:
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. 447-452 - Marco Inzillo, Carlos Kavka:
Multi-disciplinary Optimization with Standard Co-simulation Interfaces. 453-458 - Bruno Lima, João Pascoal Faria:
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. 459-466 - Julia Kantorovitch, Ilkka Niskanen, Jarmo Kalaoja, Toni Staykova:
Designing Situation Awareness - Addressing the Needs of Medical Emergency Response. 467-472 - Martin Sanda, Jirí Krupka:
Model for Quality of Life Evaluation of Countries European Union with using Rule-based Systems. 473-479 - Pamela Carvallo, Ana R. Cavalli, Natalia Kushik:
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. 480-487
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.