ThinkMind // ICSEA 2013, The Eighth International Conference on Software Engineering Advances

Type: conference

Download: ICSEA 2013 cover page

Download: ICSEA 2013 foreword page

Download: ICSEA 2013 committee page

Download: ICSEA 2013 table of contents

Download: ICSEA 2013 full proceedings

Notes: IARIA Conference.

Editors:
Luigi Lavazza, Università dell'Insubria - Varese, Italy
Roy Oberhauser, Aalen University, Germany
Adriana Martin, National University of Austral Patagonia (UNPA), Argentina
Jameleddine Hassine, KFUPM, KSA
Michael Gebhart, Gebhart Quality Analysis (QA) 82, Germany
Marko Jäntti, University of Eastern Finland, Finland

Event editions: - there are 14 editions.

ISSN: 2308-4235

ISBN: 978-1-61208-304-9

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013

Articles: there are 94 articles

Kongdroid: A Proposal for a Cloud Service for Stress Testing on Android Applications
Leonardo Sodré, Felipe Ferraz, Gustavo Alexandre, and Ana Caravalho
keywords: cloud computing; stress testing; remote testing; mobile applications; Android

Functional Software Testing: A Systematic Mapping Study
Gilmar Ferreira Arantes, Plinio de Sa Leitao-Junior, Auri Marcelo Rizzo Vincenzi, and Fabio Nogueira de Lucena
keywords: software testing; testing techniques and criteria; functional testing; systematic mapping

A Multi-Objective Technique for Test Suite Reduction
Alessandro Marchetto, Md. Mahfuzul Islam, Angelo Susi, and Giuseppe Scanniello
keywords: Regression Testing, Requirements, Testing, Test Suite Reduction, Traceability Link Recovery

Applying Mutation Testing to ATL Specifications: An Experimental Case Study
Yasser Khan and Jameleddine Hassine
keywords: Model transformation; Model Driven Engineering; mutation testing; mutation operators; Atlas Transformation Language;

The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products
Auri Marcelo Rizzo Vincenzi, Gilcimar Divino de Deus, Joao Carlos da Silva, Plinio de Sa Leitao-Junior, Jose Carlos Maldonado, and Marcio Eduardo Delamaro
keywords: experimental package; software testing; ubiquitous application

How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software
Auri Marcelo Rizzo Vincennzi, Joao Carlos da Silva, Plinio de Sa Leitao-Junior, Jose Carlos Maldonado, Marcio Eduardo Delamaro, and Marcos Lordello Chaim
keywords: software engineering; testing criteria; structural test- ing; code coverage; testing tools

Towards Scalable Bug Localization using the Edit Distance of Call Traces
Themistoklis Diamantopoulos and Andreas Symeonidis
keywords: automated debugging; dynamic bug detection; frequent subgraph mining; tree edit distance

Finding Common Subsequences in Recorded Test Cases
Martin Filipsky, Miroslav Bures, and Ivan Jelinek
keywords: functional testing, test automation, test recording, genetic algorithm

Architecture-Based Conformance Testing
Elena Leroux, Flavio Oquendo, and Qin Xiong
keywords: Software Architecture, Architecture Description Language, Architectural Conformance Testing, Validation

Combining Model-based Testing and Continuous Integration
Martin Koskinen, Dragos Truscan, Tanwir Ahmad, and Niklas Grönblom
keywords: Continuous Integration; Model-Based Testing; UPPAAL Timed Automata

Static Analysis Techniques and Tools: A Systematic Mapping Study
Vinicius Rafael Lobo de Mendonca, Cassio Leonardo Rodrigues, Fabrizzio Alphonsus A. de M. N. Soares, and Auri Marcelo Rizzo Vincenzi
keywords: automatic static analysis; false positive; systematic mapping study

An Approach for Validation, Verification, and Model-based Testing of UML-based Real-time Systems
Mehdi Nobakht and Dragos Truscan
keywords: UML; UPPAAL; model verification; model-based conformance testing; real-time systems.

Toward a Definition of π-DSL for Modelling Business Agents
Charif Mahmoudi and Fabrice Mourlin
keywords: Process algebra; Orchestration languages; Software agents; Web services; EIP; π–DSL; MDA; SOA; OSGi

Relationships Between Risks in an IT Project Development Portfolio
Rob Kusters, Jort Postema, and Jos Trienekens
keywords: portfolio project management; risk management; risk relationships

A Proposal of Requirements Specification Process for Adaptive Systems Based on Fuzzy Logic and NFR-Framework
João Dionísio Paraíba and Luiz Eduardo Galvão Martins
keywords: Adaptive Systems, Adaptive Requirements, Requirements Specification, Fuzzy Logic, NFR-Framework

Requirements Elicitation Guide for Embedded Systems: An Industry Challenge
Luiz Eduardo Galvão Martins, Jaime Cazuhiro Ossada, Anderson Belgamo, and Bárbara Stefani Ranieri
keywords: Embedded Systems; Requirements Elicitation; Requirements Template

Separation of Concerns and Code Enhancement: Aspect-oriented Programming Versus Customization Approach Followed in Open Source Softwarep
Sidra Sultana and Fahim Arif
keywords: Aspect-oriented Programming (AOP); Open Source Software (OSS); Advice; Joinpoint; Pointcut; Hook Architecture; MVC pattern; Aspect-oriented Model View Controller (AOMVC)

Design and Innovation in Game Development: Observations in 7 Small Organizations
Erno Vanhala, Jussi Kasurinen, and Kari Smolander
keywords: Game design, innovation process, game industry, design restrictions

An Automatic Petri-net generator for Modeling Multi-agent Systems
Meriem Taibi, Malika Ioualalen, and Riad Abdmeziem
keywords: Multi-agent system; Colored Petri net; Modeling; Description language.

Data From Configuration Management Tools As Sources
Jana Šamalíková, Rob Kusters, Jos Trienekens, and Ton Weijters
keywords: software configuration management; process mining; validation

Refactoring of Simulink Diagrams via Composition of Transformation Steps
Quang Minh Tran, Benjamin Wilmes, and Christian Dziobek
keywords: Simulink, Refactoring, Transformation

Experiences on Mobile Cross-Platform Application Development Using PhoneGap
Jussi Ronkainen, Juho Eskeli, Timo Urhemaa, and Kaisa Koskela-Huotari
keywords: cross platform; multi platform; phonegap; jquery; cordova; cloud; cloud-based; content; content sharing; liquid experience

A Real-Time Design Pattern for Actuators in Advanced Driver Assistance Systems
Hela Marouane, Achraf Makni, Claude Duvallet, Bruno Sadeg, and Rafik Bouaziz
keywords: Design pattern; Real-Time; UML-Profile; Actuator; ADAS.

Metrics for Measuring Quality of Real-time Design Patterns
Saoussen Rekhis, Hela Marouane, Rafik Bouaziz, Claude Duvallet, and Bruno Sadeg
keywords: Reusability metrics; Amount of reuse metrics; Design pattern

Using a New UML Profile for Modeling Software Tests
Andrew Costa, Carlos Lucena, Ricardo Venieris, and Gustavo Carvalho
keywords: UML testing profile; model based test; software testing

An Ontology-based System to Support Distributed Software Development
Rodrigo G. C. Rocha, Ryan Azevêdo, Catarina Costa, Marcos Duarte, João Paulo Fechine, Fred Freitas, Silvio Meira, Eduardo Tavares, and Daniel Figueredo
keywords: Keywords-Distributed Software Development; Ontologies; Knowledge.

Comparative Influence Evaluation of Middleware Features on Choreography DSL
Nebojša Taušan, Jari Lehto, Pasi Kuvaja, Jouni Markkula, and Markku Oivo
keywords: choreography; DSL;middleware; SOA; MDE

Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique
Yoshitaka Aoki and Saeko Matsuura
keywords: Model Checking, Requirements Specification, UML, CRUD

Service Relationships Management for Maintenance and Evolution of Service Networks
Aneta Kabzeva, Joachim Götze, Thomas Lottermann, and Paul Müller
keywords: service-orientation; service networks; service relationships; maintenance; evolution

Architectural Elements of Ubiquitous Systems: A Systematic Review
Carlos Machado, Eduardo Silva, Thais Batista, Jair Leite, and Elisa Yumi Nakagawa
keywords: ubiquitous computing; systematic review; software architecture

Architectural Decisions in the Development of Multi-Layer Applications
Jose Garcia-Alonso, Javier Berrocal Olmeda, and Juan Manuel Murillo
keywords: Multi-layer architectures; design patterns; development frameworks; architectural knowledge

CREATE: A Co-Modeling Approach for Scenario-based Requirements and Component-based Architectures
Marcel Ibe, Martin Vogel, Björn Schindler, and Andreas Rausch
keywords: requirements; architecture; evolution; consistency.

Reasoning about UML/OCL Models using Constraint Logic Programming and MDA
Beatriz Pérez and Ivan Porres
keywords: UML; OCL; CLP; reasoning; verification

Weaving Crosscutting Concerns into Inter-process Communications (IPC) in AspectJ
Ali Raza and Stephen W. Clyde
keywords: modularity; aspect-oriented programming (AOPL); crosscutting concerns; AspectJ; software reuse and maintenance.

Systematic Modeling of Workflows in Trace-Based Software Debugging and Optimization
Salman Rafiq and Adriaan Schmidt
keywords: Tracing, trace-processing, workflow modeling, debugging, multicore

A Pattern-based Approach towards Expressive Specifications for Property Concepts
Geert Delanote, Jeroen Boydens, and Eric Steegmans
keywords: Pattern; Specification; Property; Language Construct.

Applying Questionnaire to Assess the Lessons Learned Process in Software Project Management: a Case Study at GAIA
Marco Ikuro Hisatomi, Anderson de Souza Góes, and Rodolfo Miranda de Barros
keywords: – Lessons Learned, Software Project Management, Assessment Questionnaire.

Refactoring to Static Roles
Fernando Barbosa and Ademar Aguiar
keywords: roles; refactoring; code reuse; code maintenance

Linking E-Mails and Source Code Using BM25F
Raffaele Branda, Anna Tolve, Licio Mazzeo, and Giuseppe Scanniello
keywords: Empirical Study; Probabilistic Approach; Traceability Recovery

IR based Traceability Link Recovery Method Mining
Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri
keywords: traceability; mining; information retrieval

Towards Identifying the Factors for Project Management Success in Global Software Development: Initial Results
Mahmood Niazi, Sajjad Mahmood, Mohammad Alshayeb, Abdul Majid Qureshi, Kanaan Faisal, and Narciso Cerpa
keywords: Global software development; Software Project Management; Systematic Literature Review; Empirical Study.

A DSL for Multi-Scale and Autonomic Software Deployment
Raja Boujbel, Sébastien Leriche, and Jean-Paul Arcangeli
keywords: Deployment, Multi-Scale, DSL, Component-Based Software System

Characterization of Techniques and Tools of Visualization Applied to Software Comprehension: A Systematic Mapping
Marllos Paiva Prado, Auri Marcelo Rizzo Vincenzi, Fabrizzio Alphonsus A. de M. N. Soares, Felipe Cesar, Guilherme Pereira de Paula, Hugo Alexandre Dantas do Nascimento, Joao Carlos Silva, Juliano Lopes de Oliveira, Lucas Carvalho Lima, and Thiago Fernandes
keywords: Systematic; Mapping; Visualization; Sofware Comprehension

Managing IT Service Releases in a Systematic Way: A Case Study Approach
Marko Jäntti, Antti Suhonen, and Mika Kurenniemi
keywords: IT service; release management; process

Pivots and Architectural Decisions: Two Sides of the Same Medal?
Jan Salvador van der Ven and Jan Bosch
keywords: Pivot; Architectural Decision; New Product Development; Lean Startup; Software Architecture.

Moonlighting Scrum: An Agile Method for Distributed Teams with Part-Time Developers Working during Non-Overlapping Hours
Davide Taibi, Philipp Diebold, and Constanza Lampasona
keywords: agile software development; Scrum; distributed development

An Agile Maturity Model for Software Development Organizations
Felipe Soares and Silvio Meira
keywords: Agile metodologies; Maturity Model; Scrum; Lean; CMMI

Using the Analytical Hierarchy Process as a Ranking Tool for User Story Prioritization Techniques
Sultan Alshehri and Luigi Benedicenti
keywords: Extreme Programming; User Stories; Analytic Hierarchy Process.

Expert Estimation and Historical Data: An Empirical Study
Gabriela Robiolo, Silvana Santos, and Bibiana Rossi
keywords: Expert; Expert Estimation; Effort Estimation; Empirical Study; Historical Data.

Agile-User Experience Design: an Agile and User-Centered Process?
Lou Schwartz
keywords: Agile; Agile-UX; Agile Software Techniques; Software Engineering; User-Centered Desing;

Distributed Agile Software Development Challenges and Mitigation Techniques: A Case Study
Abdullah Saad Alqahtani, John David Moore, David Harrison, and Bruce Wood
keywords: distributed Agile; global Agile; global software engineering; Agile software development

Agile-User Experience Design: With or Without a Usability Expert in the Team?
Lou Schwartz
keywords: Agile-UX; team composition; use case

Do Agile Principles and Practices Support the Well-being at Work of Agile Team Members?
Marja Känsälä and Seppo Ilmari Tuomivaara
keywords: agile methods; teamwork; well-being; change

The Scrum Product Owner – Customer Collaboration & Prioritizing Requirements
Trish O'Connell
keywords: Agile; Scrum; Requirements Product Owner; Customer collaboration;

Benefits and Limitations of Using the MPS.BR Model with Agile Methodologies: A Survey Based on a Systematic Literature Review
Robson Amorim de Souza, Fernando Selleri Silva, Felipe Santana Furtado Soares, and Silvio Romero de Lemos Meira
keywords: MPS.BR; Brazilian SPI Model; Agile Methodologies; Suitability.

Low-Overhead Profiling based on Stationary and Ergodic Assumptions
Stoyan Garbatov and João Cachopo
keywords: profiling; real-time monitoring; feedback-directed optimizations; performance; ergodic; stationary

A Tracking and Visualizing System of Memory Usage along to C Source Programs
Kyoko Iwasawa and Takuhiro Okamura
keywords: C source program; memory usage; memory leak; tracking; visualizing;

Run-Time Monitoring of Timing Constraints: A Survey of Methods and Tools
Nima Asadi, Mehrdad Saadatmand, and Mikael Sjödin
keywords: Runtime Monitoring; Extra-Functional Properties; Real-Time; Timing; Survey

The Impact of Intra-core and Inter-core Task Communication on Architectural Analysis of Multicore Embedded Systems
Juraj Feljan and Jan Carlson
keywords: software architecture; model-based analysis; multicore embedded systems; task communication; measurement; cache

Cooperative Optimal Route Planning of Accumulator-bank Servicing Robots
Ágnes Werner-Stark, Tibor Dulai, and Katalin M. Hangos
keywords: cooperation; renewable energy; accumulator bank; multi-agent system

Business Architecture for a SME: A Case Study of a Manufacturing Firm in Mexico
Alicia Valdez, Carlos Vega, Elias Olivares, and Juan Perez
keywords: Business architecture; SME; Enterprise architecture; Key processes

Confirming Design Guidelines for Evolvable Business Processes Based on the Concept of Entropy
Peter De Bruyn, Dieter Van Nuffel, Philip Huysmans, and Herwig Mannaert
keywords: Business Processes, Complexity, Entropy, Normalized Systems

Towards Ontology-Driven Approach for Data Warehouse Analysis. Case study : Healthcare domain
Lama El Sarraj, Bernard Espinasse, Thérèse Libourel, and Sophie Rodier
keywords: data warehouse; ontology; decision information systems; decision making; healthcare institution management

Light-PubSubHubbub: A Lightweight Adaptation of the PubSubHubbub Protocol
Porfírio Dantas, Jorge Pereira, Everton Cavalcante, Gustavo Alves, and Thais Batista
keywords: asynchronous communication; publish-subscribe; PubSubHubbub; Light-PubSubHubbub

Semantic Symbols Extraction Model for Emergency Hazard Map
Lijian Sun, Jie Zhao, Lihong Shi, Zheng Gong, Yi Zhu, and Agen Qiu
keywords: Symbol; Semantic Construction; Emergency; Fuzzy comprehensive evaluation

Interactive Hyperbolic Tree for Industrial size Software Product line Architecture
Abeer Khalid and Salma Imtiaz
keywords: software product line architecture; information visualization; visualization representation

Creating a ITIL-based Software Incident Categorization Model for Measurement: A Case Study
Sanna Heikkinen, Antti Suhonen, Mika Kurenniemi, and Marko Jäntti
keywords: IT service management; ITIL; continual service improvement; incident management; software incident categorization model

Implementation of the ITIL-Based Service Level Management Process to Improve an Organization’s Efficiency: A Case Study
Antti Suhonen, Sanna Heikkinen, Mika Kurenniemi, and Marko Jäntti
keywords: IT service management; ITIL; continual service improvement; service level management; service level agreement

Measuring the Functional Size of Real-Time and Embedded Software: a Comparison of Function Point Analysis and COSMIC
Luigi Lavazza and Sandro Morasca
keywords: Functional Size Measurement; Function Point Analysis; COSMIC Function Points; Real-time software; Embedded software

MCReF: A Metric to Evaluate Complexity of Functional Requirements
Carlos Roberto Paviotti and Luiz Eduardo Galvão Martins
keywords: Requirements Engineering; Complexity of Requirements; Requirement Metrics.

Hierarchical Multi-Views Software Architecture
Ahmad Kheir, Mourad Oussalah, and Hala Naja
keywords: Software architecture; Views; Hierarchy levels; Consistency

Object Oriented Petri Nets in Software Development and Deployment
Radek Koci and Vladimir Janousek
keywords: Object Oriented Petri Nets; DEVS; model deployment

A Measurement-based Approach to Software Development Process Tailoring in R&D Organization
Apinporn Methawachananont and Pawarat Nontasil
keywords: Process Tailoring Strategy; Software Process Improvement; Engineering Process Group; Critical Success Factor

Towards Probabilistic Models to Predict Availability, Accessibility and Successability of Web Services
Abbas Tahir, Sandro Morasca, and Davide Tosi
keywords: quality models; web services; measurement; metrics; probabilistic models; quality prediction

Measuring Design Quality of Service-Oriented Architectures Based on Web Services
Michael Gebhart
keywords: soa; web service; design; quality; metrics

Towards Automatic Performance Modelling Using the GENERICA Component Model
Nabila Salmi, Malika Ioualalen, and Mehdi Sliem
keywords: Component-Based Systems; software component; hardware component; performance annotations; performance modelling

Ensuring Consistency of Dynamic Reconfiguration of Component Based Systems
Hamza Zerguine, Nabila Salmi, and Malika Ioualalen
keywords: Component-Based Systems; dynamic reconfiguration; formalization; consistency.

An Investigation on Quality Models and Quality Attributes for Embedded Systems
Lucas Bueno Ruas Oliveira, Milena Guessi, Daniel Feitosa, Christian Manteuffel, Matthias Galster, Flavio Oquendo, and Elisa Yumi Nakagawa
keywords: Embedded System; Quality Model; Quality Attribute; Systematic Review.

Counter Rocket, Artillery and Mortar System with Laser Simulation Software
Maria Epp and Hendrik Rothe
keywords: C-RAM; simulation; RAM intercept; Laser weapon system

Towards Cloud-based Collaborative Software Development: A Developer-Centric Concept for Managing Privacy, Security, and Trust
Roy Oberhauser
keywords: cloud-based software engineering environments; cloud-based software development collaboration; global software development; privacy; security; trust

Two-Dimensional Models’ Processing Using Principles of Knowledge-Based Architecture
Andrejs Bajovs and Oksana Nikiforova
keywords: UML class diagram; code generation; knowledge base; model verification

Towards a Smart City Security Model Exploring Smart Cities Elements Based on Nowadays Solutions
Felipe Ferraz, Carlos Sampaio, Carlos Ferraz, Gustavo Alexandre, and Ana Carvalho
keywords: smart city; security; privacy; information

Camera Trajectory Evaluation in Computer Graphics Based on Logarithmic Interpolation
Mikael Fridenfalk
keywords: fractal space; logarithmic; LPCHIP; PCHIP; spline

Metaphors Applied to Interaction Design in Group Learning
Anderson Cavalcante Gonçalves and Deller James Ferreira
keywords: metaphors; interaction; design; teaching; learning

ProDec: a Serious Game for Software Project Management Training
Alejandro Calderón and Mercedes Ruiz
keywords: software project management; serious games; simulation

Open Source Legality Compliance of Software Architecture
Alexander Lokhman, Antti Luoto, Imed Hammouda, and Tommi Mikkonen
keywords: UML profiles; open source software; licensing; software architecture

Can Business Process Management Benefit from Service Journey Modelling Language?
Eunji Lee and Amela Karahasanović
keywords: software engineering; business process management; services; visual languages

A Method of Generation of Scenarios using Differential Scenario
Eiji Shiota and Atsushi Ohnishi
keywords: scenario generation; scenario retrieval; differential scenario; scenario-based requirements engineering

Towards a UML Meta Model Extension for Aspect-Oriented Modeling
Meriem Chibani, Brahim Belattar, and Abdelhabib Bourouis
keywords: Aspect-Oriented Programming (AOP); UML profile; AspectJ; Aspect-Oriented Software Development.

A Case Study of Requirements Management: Toward Transparency in Requirements Management Tools
Markus Kelanti, Jarkko Hyysalo, Antti Välimäki, Pasi Kuvaja, and Markku Oivo
keywords: Requirements Management; Requirements Management Tools; Transparency

Two-Hemisphere Model Based Approach to Modelling of Object Interaction
Oksana Nikiforova, Ludmila Kozacenko, and Dace Ahilcenoka
keywords: UML sequence diagram; two-hemisphere model; layouting algorithm; model transformation; BrainTool.

A Device For Electromechanical Braille Reading Digital Texts
Cicília Leite, Davi Magalhães, Pedro Neto, Suellem Queiroz, and Yáskara Fernandes
keywords: accessibility; braille; technology; arduino; servomotors

Australia's National Transition Strategy: first stage implementation report
Justin Brown, Scott Hollier, and Vivienne Conway
keywords: Australia, government policy, web accessibility

Web Accessibility for Older Users: A Southern Argentinean View
Viviana Ester Saldaño, Adriana Elba Martin, Gabriela Gaetan, and Diego Sebastián Vilte
keywords: Web Accessibility; Older Web users; User Interface (UI);