


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














