ThinkMind // ICSEA 2014, The Ninth International Conference on Software Engineering Advances

Type: conference

Download: ICSEA 2014 cover page

Download: ICSEA 2014 foreword page

Download: ICSEA 2014 committee page

Download: ICSEA 2014 table of contents

Download: ICSEA 2014 full proceedings

Notes: IARIA Conference.

Editors:
Herwig Mannaert, University of Antwerp, Belgium
Luigi Lavazza, Università dell'Insubria - Varese, Italy
Roy Oberhauser, Aalen University, Germany
Mira Kajko-Mattsson, Stockholm University & Royal Institute of Technology, Sweden
Michael Gebhart, iteratec GmbH, Germany

Event editions: - there are 14 editions.

ISSN: 2308-4235

ISBN: 978-1-61208-367-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014

Articles: there are 99 articles

Intertwining Relationship Between Requirements, Architecture, and Domain Knowledge
Azadeh Alebrahim and Maritta Heisel
keywords: quality requirements; requirements engineering; domain knowledge; design decisions; software architecture

Unified Conceptual Model for Joinpoints in Distributed Transactions
Anas AlSobeh and Stephen Clyde
keywords: modularity; distributed transaction; joinpoint; operation; context; advice; aspect; crosscutting concerns.

A Tool Evaluation Framework based on fitness to Process and Practice. A usability driven approach
Diego Fontdevila
keywords: tool evaluation; usability-based framework; process and practice.

Enhanced Design Pattern Definition Language
Salman Khwaja and Mohammad Alshayeb
keywords: Design pattern language; composite design patterns; UML; XML; DPDL

Model Transformations for the Automatic Suggestion of 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; model transformation; architectural decisions

An MDE Approach for Reasoning About UML State Machines Based on Constraint Logic Programming
Beatriz Pérez
keywords: UML state machines, OCL, Constraint Logic Programming, reasoning, MDE

Several Issues on the Layout of the UML Sequence and Class Diagram
Oksana Nikiforova, Dace Ahilcenoka, Dainis Ungurs, Konstantins Gusarovs, and Ludmila Kozacenko
keywords: UML class diagram; UML sequence diagram; layout algorithm; BrainTool

Communication Aspects with CommJ: Initial Experiment Show Promising Improvements in Reusability and Maintainability
Ali Raza, Jorge Edison Lascano, and Stephen Clyde
keywords: aspect-oriented programming (AOPL); crosscutting concerns; AspectJ; software reuse and maintenance; software metrics

Customized Choreography and Requirement Template Models as a Means for Addressing Software Architects’ Challenges
Nebojša Taušan, Sanja Aaramaa, Jari Lehto, Pasi Kuvaja, Jouni Markkula, and Markku Oivo
keywords: Software Architecture; Case-study; Choreography; Requirements Engineering; Challenge

MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder
Koji Matsui and Saeko Matsuura
keywords: MDD;UML;Smartphone Application;GUI builder

Quality-Oriented Requirements Engineering for Agile Development of RESTful Participation Service
Michael Gebhart, Pascal Giessler, Pascal Burkhardt, and Sebastian Abeck
keywords: requirements engineering; agile; scenario; rest; service; participation; iso 29148

Architecture Coverage: Validating Optimum Set of Viewpoints
Sunia Naeem and Salma Imtiaz
keywords: architecture coverage; optimum; viewpoints; stakeholders; quality attributes.

Challenges of Adopting Software Reuse: Initial Results
Sajjad Mahmood and Ali Al Zayer
keywords: systematic software reuse; challenges and barrier; systematic literature review; empirical studies.

Comparison of Stakeholder Identification Methods - The Effect of Practitioners Experience
Markus Kelanti and Samuli Saukkonen
keywords: Stakeholder; Stakeholder identification

What are the Features of this Software?
Barbara Paech, Paul Hübner, and Thorsten Merten
keywords: feature; requirements management; mininig software repositories; issue tracker; user documentation

Towards Duplication-Free Feature Models when Evolving Software Product Lines
Amal Khtira, Anissa Benlarabi, and Bouchra El Asri
keywords: Software Product Line; Requirements Evolution; Domain Engineering; Application Engineering; Duplication.

Quantum States in Bivalent Logic
Mikael Fridenfalk
keywords: bivalent logic; propositional logic; quantum state; Russell’s paradox; ternary logic

An Approach for Modeling and Transforming Contextually-Aware Software Engineering Workflows
Roy Oberhauser
keywords: process-centered software engineering environments; software engineering environments; software engineering process modeling; software engineering process model transformation

A Software Category Model for Graphical User Interface Architectures
Stefan Wendler and Detlef Streitferdt
keywords: GUI software architecture; software architecture; user interface patterns; graphical user interface

The Impact of User Interface Patterns on Software Architecture Quality
Stefan Wendler and Detlef Streitferdt
keywords: user interface patterns; model-based user interface development; HCI patterns; user interface generation; GUI software architecture; graphical user interface

A Guideline for Supporting Agile Process Assessments
Teresa M. M. Maciel and Silvio R. L. Meira
keywords: software agility evaluation; agile assessment

Usage of Kanban in Software Companies An empirical study on motivation, benefits and challenges
Muhammad Ovais Ahmad, Jouni Markkula, Markku Oivo, and Pasi Kuvaja
keywords: Kanban; Lean; Agile; Software development

Scaling Agile Estimation Methods with a Parametric Cost Model
Carl Friedrich Kreß, Oliver Hummel, and Mahmudul Huq
keywords: software cost estimation; COCOMO; agile; Scrum

AP3M-SW – An Agile Project Management Maturity Model for Software Organizations
Felipe Soares and Silvio Meira
keywords: Project Management; Agile Methodologies; Maturity Model; APM; OPM3; CMMI.

Cybernetic Aspects in the Agile Process Model Scrum
Michael Bogner, Maria Hronek, Andreas Hofer, and Franz Wiesinger
keywords: agile software development; Scrum; cybernetics, biocybernetics.

Can Functional Size Measures Improve Effort Estimation in SCRUM?
Valentina Lenarduzzi and Davide Taibi
keywords: Software Effort Estimation, Agile Development, SCRUM effort estimation, Functional measurement

On Some Challenges in Assessing the Implementation of Agile Methods in a Multisite Environment
Harri Kaikkonen, Pilar Rodríguez, and Pasi Kuvaja
keywords: organizational change; global software development; agile methods; Scrum; process assessment.

Towards Agile Composition of Service Oriented Product Lines: A Mashup-based Approach
Ikram Dehmouch, Bouchra El Asri, and Zineb Mcharfi
keywords: Product Line Engineering; Feature Model; Agile Software Development; Service Oriented Computing; Mashup

An Approach and a Tool for Systematic Review Research
Manuel Gonçalves da Silva Neto, Walquiria Castelo Branco Lins, and Eric Bruno Perazzo Mariz
keywords: Systematic Review; Systematic Mapping; Support Tool

Productivity-Based Software Estimation Model: An Economics Perspective and an Empirical Study
Alain Abran, Jean-Marc Desharnais, Mohammad Zarour, and Onur Demirors
keywords: Software economics; productivity models; fixed and variable cost; Function Points.

Measuring a Software Production Line with IFPUG-based Function Points
Volkan Halil Bagci, Umut Orcun Turgut, Ali Ciltik, Semih Cetin, and Recep Ozcelik
keywords: Function Point; Software Measurement; Software Production Lines; Productivity Coefficient

Empirical Research in Software Engineering: A Literature Review
Petr Pícha and Přemysl Brada
keywords: empirical research, literature review, software engineering, history, problems, solutions

An Automated Signature Generation Method for Zero-day Polymorphic Worms Based on C4.5 Algorithm
Mohssen Mohammed, Eisa Aleisa, and Neco Ventura
keywords: Honeynet; Polymorphic; Worms; Machine Learning; Algorithm

On the Automation of Vulnerabilities Fixing for Web Application
Kabir Umar, Abu Bakar Sultan, Hazura Zulzalil, Novia Admodisastro, and Mohd Taufik Abdullah
keywords: Web application; Automated Vulnerabilities Fixing; Evolutionary Programming; SQL Injection

An Approach for Cross-Site Scripting Detection and Removal Based on Genetic Algorithms
Isatou Hydara, Abu Bakar Md Sultan, Hazura Zulzalil, and Novia Admodisastro
keywords: cross-site scripting; genetic algorithm; software security; vulnerability detection; vulnerability removal.

Safety Patterns in Model-Driven Development
Timo Vepsäläinen and Seppo Kuikka
keywords: Model-Driven Development; Design Pattern; Safety

Test Data Generation Based on GUI: A Systematic Mapping
Rodrigo Funabashi Jorge, Márcio Eduardo Delamaro, Celso Gonçalves Camilo-Junior, and Auri Marcelo Rizzo Vincenzi
keywords: Systematic Mapping Study; System Testing; Testing through GUI; Automated Test Data Generation

Mapping of State Machines to Code: Potentials and Challenges
Mehrdad Saadatmand and Antonio Cicchetti
keywords: State Machines; Runtime Verification; Behavioral Modeling; Testing

Functional Testing Criteria Applied in a Database Project
Dianne Dias Silva, Edmundo Sérgio Spoto, and Leandro Luís Galdino de Oliveira
keywords: Software Testing; Database Testing; Functional Software Testing; Functional Testing Criteria in a Database Project.

Automatic Unit Test Generation and Execution for JavaScript Program through Symbolic Execution
Hideo Tanida, Guodong Li, Indradeep Ghosh, and Tadahiro Uehara
keywords: JavaScript, test generation, symbolic execution, stub generation.

Enabling Functional Integration Testing of Software-Intensive Technical Systems
Thomas Bauer and Frank Elberzhager
keywords: model-based testing; software integration testing; standard-compliant quality assurance; ISO 26262

Structural Test Case Generation Based on System Models
Leandro Teodoro Costa, Avelino Francisco Zorzo, Elder Macedo Rodrigues, Maicon Bernardino, and Flávio Moreira Oliveira
keywords: model-based testing; structural testing

Towards a Maturity Model in Software Testing Automation
Ana Paula Furtado, Silvio Meira, and Marcos Gomes
keywords: software testing, automation; maturity models.

Low-Variance Software Reliability Estimation Using Statistical Testing
Fouad ben Nasr Omri, Safa Omri, and Ralf Reussner
keywords: Software reliability testing, reliability estimation, statistical testing, stratified sampling

PRReSE – Process of Non-Functional Requirements Reuse for Embedded Systems Based on a NFR-Framework
Cristiano Marçal Toniolo and Luiz Eduardo Galvão Martins
keywords: Embedded Systems; Requirements Reuse; Non-Functional Requirements; NFR-Framework.

A Model-Driven Approach to the Development of Heterogeneous Software Product Lines
Thomas Buchmann and Felix Schwägerl
keywords: software product lines; model-driven development; negative variability; feature models; heterogeneity.

System Composition Using Petri Nets and DEVS Formalisms
Radek Koci and Vladimir Janousek
keywords: Object Oriented Petri Nets; DEVS; system composition; data passing

A Prototyping Discipline in OpenUP to Satisfy Wireless Sensor Networks Requirements
Gian Ricardo Berkenbrock, Carla Berkenbrock, and Celso Hirata
keywords: Software Engineering; Prototype Discipline; Discrete Simulation

Easily Evolving Software Using Normalized Systems Theory - A Case Study
Gilles Oorts, Kamiel Ahmadpour, Herwig Mannaert, Jan Verelst, and Arco Oost
keywords: Normalized Systems theory; Evolvable Software; Adaptive Software; Agile Software; Case Study

Towards Task Allocation in Global Software Development Projects
Sajjad Mahmood, Sajid Anwer, Waleed Umar, Mahmood Niazi, and Mohammad Alshayeb
keywords: global software development; task allocation; work distribution; software project schedules.

Combining MARTE-UML, SysML and CVL to Build Unmanned Aerial Vehicles
Paulo Queiroz and Rosana Braga
keywords: Product Line; Model-Driven Development; Safety-Critical Systems

Collaborative Team Management in Agile and Distributed Development Environments
Nohsam Park and Jonghyun Jang
keywords: Collaborative Team; Team Management; Agile; Distributed software development; Software Engineering

Security Through Software Rejuvenation
Chen-Yu Lee, Krishna M. Kavi, Mahadevan Gomathisankaran, and Patrick Kamongi
keywords: Rejuvenation; Malware; Security; Vulnerability

Design of Mobile Services for Embedded Platforms
Fabrice Mourlin, Sanae Mostadi, and Guy Lahlou Djiken
keywords: data collection; mobile service; distributed application

The Quantification of Risk Factors for Predicting Diabetic Cystoid Macular Edema based on a Hierarchical Approach
Eun Byeol Jo, Ju Hwan Lee, Jong Seob Jeong, Byeong Cheol Choi, and Sung Min Kim
keywords: diabetic cystoid macular edema; optical coherence tomography; retina layer; thickness; hierarchical approach

Identifying Requirements for Centralized Service for Movement and Biodiversity Data Analysis
Ivana Nižetić Kosović, Boris Milašinović, and Krešimir Fertalj
keywords: movement data; biodiversity; tracking; service-oriented software; meta-model

Method for Analytic Evaluation of the Weights of a Robust Large-Scale Multilayer Neural Network with Many Hidden Nodes
Mikael Fridenfalk
keywords: analytic; FNN; large-scale; least square method; neural network; robust; sigmoid

Reorganizing an Offshore Software Project With the Goal of Favoring Knowledge Transfer
Carlo Consoli, Paolo Rocchi, Paolo Spagnoletti, and Pietro Nico
keywords: Large software project, project management, offshoring.

Challenges of the Existing Tools Used in Global Software Development Projects
Mahmood Niazi, Sajjad Mahmood, Mohammad Alshayeb, and Ayman Hroub
keywords: Global software development; Challenges; Systematic Literature Review; Software Tools

ARTIST Technical Feasibility Tool: Supporting the Early Technical Feasibility Assessment of Application Cloudifications
Juncal Alonso, Leire Orue-Echevarria, Zurik Corera, Jesus Gorroñogoitia, and Burak Karaboga
keywords: Software modernization, technical feasibility, software complexity, cloud computing, migration strategy

Model Reverse-engineering of Mobile Applications with Exploration Strategies
Sébastien Salva and Stassia Resondry Zafimiharisoa
keywords: model generation; automatic testing; android applications.

On the Ability of Functional Size Measurement Methods to Size Complex Software Applications
Luigi Lavazza, Sandro Morasca, and Davide Tosi
keywords: Functional Size Measurement; Function Point Analysis; IFPUG Function Points; COSMIC method

An Exploration of the Application of Usability Evaluation Methods by Disabled Users
Khalid Al-Nafjan, Mona Al-Zuhair, and Layla Al-Salhie
keywords: UEM; Disabled users; Usability evaluation

Towards Automating the Coherence Verification of Multi-Level Architecture Descriptions
Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, and Huaxi Yulin Zhang
keywords: software architecture, component reuse, B formal models, component subtyping, component compatibility, architecture levels

A Set-Oriented Formalism as a Foundation for the Modeling and Verification of Connected Data and Process Specifications
Julia Martini, Hannes Restel, Raik Kuhlisch, and Jörg Caumanns
keywords: specification; formalism; profiling; validation; information modeling

Towards Automated Design Smell Detection
Stefan Burger and Oliver Hummel
keywords: Design Patterns, Pattern Recommendation, Stra- tegy, Code Quality

UCDMD: Use Case Driven Methodology Development
Hanieh Zakerifard and Raman Ramsin
keywords: situational method engineering; requirements engineering; use case modeling; use case-driven development

Insights from the Defect Detection Process of IT Experts: A Case Study on Data Flow Diagrams
Gul Tokdemir, Nergiz Ercil Cagiltay, and Ozkan Kilic
keywords: DFD; software design; diagrammatic reasoning; defect detection

Using Expert Systems for Coaching and Mentoring ICT Project Managers
Robert T. Hans and Ernest Mnkandla
keywords: expert system; intelligence system; project managers; coaching; mentoring; skills.

Towards Autonomic Context-Aware Computing for SaaS Through Variability Management Mechanisms
Asmae Benali, Bouchra El Asri, and Houda Kriouile
keywords: multi-tenancy; context-aware; autonomic system; SPL; SaaS

ASDeDaWaS: An Assistant System for the Design of Data Warehouse Schema
Nouha Arfaoui and Jalel Akaichi
keywords: Data Warehouse Schema; Data Mart Schema; Schema Design; Schema Integration.

Towards Implementation and Design of Multi-tenant SaaS Based on Variabiliy Management Mechanisms
Houda Kriouile, Bouchra El Asri, M'barek El Haloui, and Asmae Benali
keywords: SaaS; Rich-Variant Component; Functional Variability; Deployment Variability; Multi-tenancy.

Applications Architecture for a Medium Sized Manufacturing Firm
Alicia Valdez, Sergio Castaneda, Laura Vazquez, and Azucena Garcia
keywords: Application architecture; SME; Enterprise architecture; e-commerce

Enhanced Search: An Approach to the Maintenance of Services Oriented Architectures
Norman Wilde, Douglas Leal, George Goehring, and Christopher Terry
keywords: Services Oriented Architecture; SOA; Software Maintenance; Search; Rule-Based Systems

Evaluation of the Applicability of CM3: Emergency Problem Management within the Industry
Mira Kajko-Mattsson, Joakim Snygg, and Emil Hammargren
keywords: Problem management; operational levels; task force team; software maintenance.

An Analysis of Domain and Application Engineering Co-evolution for Software Product Lines based on Cladistics: A Case Study
Anissa Benlarabi, Amal Khtira, and Bouchra El Asri
keywords: Software product lines; Co-evolution; Cladistics.

EM3: Software Retirement Process Model
Mira Kajko-Mattsson, Anna Hauzenberger, and Ralf Fredriksson
keywords: case studies; software lifecycle; software migration; software phaseout; software closedown; software disposal

Causality Control in Dynamic Platforms
German Vega and Jacky Estublier
keywords: component; model; services; platform; causality; operational; OSGi

Maintaining Vaadin Legacy Applications using DSLs based on Xtext
Marcel Toussaint and Thomas Baar
keywords: Software design; Metamodelling; Data models; Software maintenance; Graphical user interfaces; Database systems

Predicting Change Proneness using Object-Oriented Metrics and Machine Learning Algorithms
Abdullah Al-Senayen, Abdurhman Al-Sahood, and Mohammed Misbhauddin
keywords: open source software; object-oriented; change proneness; maintainability; prediction

Towards an Efficient Traceability in Agile Software Product Lines
Zineb Mcharfi, Bouchra El Asri, and Ikram Dehmouch
keywords: Software Product Lines; Agile Software Product Lines; traceability; efficient traceability

Implementing IT Service Management as an Organizational Change: Identifying Factors Affecting the Change Resistance
Marko Jäntti and Sanna Heikkinen
keywords: IT service management; organizational change; change resistance.

Spider-PE: A Set of Support Tools to Software Process Enactment
Carlos Portela, Alexandre Vasconcelos, Sandro Oliveira, Antônio André Silva, and Elder Silva
keywords: Software Process Enactment; Quality Models; SPEM; CMMI-DEV; MPS.BR.

On the Use of Ontology for Dynamic Reconfiguring Software Product Line Products
Thyago Tenório, Diego Dermeval, and Ig Ibert Bittencourt
keywords: Ontology; Software Product Lines; Dynamic Software Product Lines;

A formal model of use-cases and its application in generating a hierarchical class-structure
Sukhamay Kundu and Arnab Ganguly
keywords: Augmented finite-state model, class hierarchy, object-oriented design, refactoring, use-case model

Fundamentals, Prospects and Challenges for Totally Functional Programming Style
Paul Bailes, Leighton Brough, and Colin Kemp
keywords: Catamorphism, Fold, Functional, Recursion.

Using Automatic Code Generation Methods for Reusable Software Component Development: Experience Report
Elif Kamer Karataş and Barış İyidir
keywords: code generation, domain specific languages, domain knowledge

Automatic Classification of Domain Constraints for Rich Client Development
Manuel Quintela-Pumares, Daniel Fernández-Lanvin, Alberto-Manuel Fernández-Álvarez, and Raúl Izquierdo
keywords: rich clients; constraints; OCL; UML.

A Classification Schema for Development Technologies
Davide Taibi, Christiane Plociennik, and Laurent Dieudonné
keywords: process improvement; technology classification; technology selection; tool selection; method selection; process configuration

Working With Reverse Engineering Output for Benchmarking and Further Use
David Cutting and Joost Noppen
keywords: Reverse Engineering; Benchmarking; Tool Comparison; XMI; Software Comprehension; UML; UML Reconstruction

Software Relialibility Markovian Model Based on Phase-Type Distribution
Mindaugas Brazenas and Eimutis Valakevicius
keywords: Software reliability model; phase–type distribution; absorbing Markov chain; performance measures.

Vergil: Guiding Developers Through Performance and Scalability Inferno
Christoph Heger, Alexander Wert, and Roozbeh Farahbod
keywords: Performance; Software Engineering; Software Measurement; Performance Evaluation.

A Domain-Specific Language for Modeling Performance Testing: Requirements Analysis and Design Decisions
Maicon Bernardino, Avelino F. Zorzo, Elder Rodrigues, Flávio M. de Oliveira, and Rodrigo Saad
keywords: requirements; design decision; performance testing; performance modeling; domain-specific language

Inverted Run-Time Behavior of Classic Data Structures on Modern Microprocessors: Technical Background and Performance Guidelines
Michael Bogner, Andreas Hofer, Maria Hronek, and Franz Wiesinger
keywords: performance patterns; sequence container; run-time complexity; modern microprocessors;

Benchmarking the Performance of Hypervisors on Different Workloads
Devi Prasad Bhukya, Carlos Gonçalves, Diogo Gomes, and Rui Aguiar
keywords: Virtualization; DOE; Full Factorial Design; Main Effect; Interaction Effect

Performance Engineering Using Performance Antipatterns in Distributed Systems
Chia-En Lin and Krishna Kavi
keywords: Performance Engineering; Anomaly Detection; Performance Antipattern; Profiling

Performance Optimisation of Object-Relational Database Applications in Client-Server Environments
Zahra Davar, Janusz R.Getta, and Handoko Handoko
keywords: Object-Relational Application; Performance; Transformation Rule; Software Patterns.

Web Accessibility on Thai Higher Education Websites
Rattanavalee Maisak and Justin Brown
keywords: web accessibility, higher education, WCAG, evaluation

A Usability Inspection Approach to Assist in the Software Development Process
Priscila Silva Fernandes, Bruno Araújo Bonifácio, and Tayana Uchôa Conte
keywords: usability inspection; novice inspectors; web application; experimental study