ThinkMind // ICSEA 2012, The Seventh International Conference on Software Engineering Advances

Type: conference

Download: ICSEA 2012 cover page

Download: ICSEA 2012 foreword page

Download: ICSEA 2012 committee page

Download: ICSEA 2012 table of contents

Download: ICSEA 2012 full proceedings

Notes: IARIA Conference.

Editors:
Herwig Mannaert, University of Antwerp, Belgium
Luigi Lavazza, Università dell'Insubria - Varese, Italy
Roy Oberhauser, Aalen University, Germany
Elena Troubitsyna, Åbo Akademi University, Finland
Michael Gebhart, Gebhart Quality Analysis (QA) 82, Germany
Osamu Takaki, Japan Advanced Institute of Science and Technology (JAIST) – Ishikawa, Japan

Event editions: - there are 14 editions.

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012

Articles: there are 104 articles

Enhancing Contexts for Automated Debugging Techniques
Yan Lei, Chengsong Wang, Xiaoguang Mao, and Quanyuan Wu
keywords: automate debugging; program spectra; program slicing; statistical analysis.

Leveraging Traceability between Code and Tasks for Code Review and Release Management
Nitesh Narayan, Alexander Delater, Jan Finis, and Yang Li
keywords: traceability; code review; release management; patch; branch.

A Multiple View Environment for Collaborative Software Comprehension
Glauco de F Carneiro, Carlos F. R. Conceição, and José M N David
keywords: collaboration; software comprehension; software visualization; distributed development environments

Assisting bug Triage in Large Open Source Projects Using Approximate String Matching
Amir H. Moin and Günter Neumann
keywords: software deployment and maintenance; semi-automated bug triage; approximate string retrieval; open source software.

Using Normalized Systems Patterns as Knowledge Management
Peter De Bruyn, Philip Huysmans, Gilles Oorts, Dieter Van Nuffel, Herwig Mannaert, Jan Verelst, and Arco Oost
keywords: Normalized Systems, Design Patterns, Knowledge Management

An UML-based Authoring Approach of S1000D Procedural Data Modules and Tool Support
Youhee Choi, Jeong-Ho Park, Byungtae Jang, and DongSun Lim
keywords: S1000D; XML; UML; Shipdex

Algorithmic Software Adaptation Approach in Mobile Augmented Reality Systems
Oleksii Vekshyn and Mykola Tkachuk
keywords: augmented reality; software; mobile systems; algorithmic adaptation

A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake
Kashif Javed and Elena Troubitsyna
keywords: dynamic reconfiguration; fault tolerance; advanced software for handshake procedure; modeling and verification

Transformation of Medical Service Ontology to Relational Data Models
Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi, Koichiro Murata, Mitsuru Ikeda, and Koiti Hasida
keywords: quality indicator; ontology; data model; medical database

BrainTool A Tool for Generation of the UML Class Diagrams
Oksana Nikiforova, Konstantins Gusarovs, Olegs Gorbiks, and Natalja Pavlova
keywords: BrainTool v1.0; UML class diagram; two-hemisphere model; model transformation.

Decoupled Model-Based Elicitation of Stakeholder Scenarios
Gregor Gabrysiak, Regina Hebig, and Holger Giese
keywords: decoupled requirements elicitation; scenario synthesis; incomplete scenarios

A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics
Andrea Luzzana, Mattia Rossetti, and Patrizia Scandurra
keywords: components; abstract state machines; ground modeling; robotic control tasks.

Aligning the Normalized Systems Theorems with Existing Heuristic Software Engineering Knowledge
Peter De Bruyn, Geert Dierckx, and Herwig Mannaert
keywords: Normalized Systems; Code Smells; Heuristic Knowledge; Knowledge Management

A Description Language for QoS Properties and a Framework for Service Composition Using QoS Properties
Chiaen Lin, Krishna Kavi, and Sagarika Adepu
keywords: WSDL; Ontologies; Quality of Services; Non-functional Properties; Service Composition

Context Awareness in Learning Human Habits
Szymon Bobek and Weronika Adrian
keywords: Context-awareness; machine learning; ontologies; mobile applications.

Automated Construction of Data Integration Solutions for Tool Chains
Matthias Biehl, Jiarui Hong, and Frédéric Loiret
keywords: Domain Specific Modeling; Tool Integration; Prototyping; Higher-Order Model Transformation; Code Generation.

A Neurolinguistic Method for Identifying OSS Developers’ Context-Specific Preferred Representational Systems
Methanias Colaço Júnior, Manoel Mendonça, Mario Farias, Paulo Henrique, and Daniela Corumba
keywords: open source; text mining; neurolinguistic; mental imagery; experimental software engineering

Architecture Centric Tradeoff - A Decision Support Method for COTS Selection and Life Cycle Management
Subhankar Sarkar
keywords: COTS; ERP; Composition based systems; Component evaluation; Cost of Ownership; Tradeoff Analysis

Implementation of Business Processes in Service Oriented Architecture
Krzysztof Sacha and Andrzej Ratkowski
keywords: business process; BPEL language; service oriented architecture; SOA; transformational implementation.

On Re-Architecting Legacy Software Systems: The Case of Systems at Umm Al-Qura University
Basem Alkazemi
keywords: legacy systems; SOA; e-government

Business Process Modeling in Object-Oriented Declarative Workflow
Marcin Dąbrowski, Michał Drabik, Mariusz Trzaska, and Kazimierz Subieta
keywords: workflow; object-oriented; declarative; query language; active object, dynamic workflow change; ODRA; SBQL

Data Transformations Using QVT Between Industrial Workflows and Business Models in BPMN2
Corina Abdelahad, Daniel Riesco, Alessandro Carrara, Carlo Comin, and Carlos Kavka
keywords: BPMN2; business workflow; ESTECO; industrial workflow; metamodel

A Data-driven Workflow Based on Structured Tokens Petri Net
Nahla Haddar, Mohamed Tmar, and Faiez Gargouri
keywords: Workflow modeling; Workflow management system; Petri Nets; Data-driven approach; Structured token.

Bankruptcy and Financial Standing Models Application for SMEs
David Plandor and Lenka Landryová
keywords: finance module; financial health; bankrupcy model; financial standing model; SME

Automated Test Code Generation Based on Formalized Natural Language Business Rules
Christian Bacherler, Ben Moszkowski, Christian Facchi, and Andreas Huebner
keywords: Requirements engineering; business rules; natural language; testing; logic.

Using SSUCD to Develop Consistent Use Case Models: An Industrial Case Study
Mohamed El-Attar
keywords: Use Cases; SSUCD; Model Consistency.

A Systematic Mapping Study on Domain-Specific Languages
Leandro Nascimento, Daniel Viana, Paulo Silveira Neto, Dhiego Martins, Vinicius Garcia, and Silvio Meira
keywords: Domain-specific languages; systematic mapping study; programming languages; mini languages; little languages

Specifying and Designing Exception Handling with FMEA
Tsuneo Nakanishi, Kenji Hisazumi, and Akira Fukuda
keywords: HAZOP; exception handling; commonality and variability analysis

Orchestration Definition from Business Specification
Charif Mahmoudi and Fabrice Mourlin
keywords: SOA; Architecture; Web service orchestration; business process design and specification

Value-Based Technical Debt Model and Its Application
Marek G. Stochel, Mariusz R. Wawrowski, and Magdalena Rabiej
keywords: Technical Debt; Software Life Cycle; Software Economics; Software Development and Maintenance; Wisdom of Crowds; Value Based Software Engineering

An Advanced Interactive Visualization Approach for Component-Based Software: A User Study
Jaroslav Snajberk, Lukas Holy, Kamil Jezek, and Premek Brada
keywords: software visualization; component; UML; user study; interactivity.

Representing Topic Event-Based Systems using Pluggable Units
Fernando Barros
keywords: topic event-based programming; pluggable software units; dynamic software topologies

Towards an Approach to Represent Safety Patterns
Pablo Oliveira Antonino, Thorsten Keuler, and Elisa Yumi Nakagawa
keywords: Safety Pattern; UML Profile; Pattern Descriptive Rule; Architectural Model

Process Modeling-based Assessment of Software Release Planning
Jos Trienekens and Robbert Slooten
keywords: Keywords-release planning; assessment; process modeling

Distributed Software Framework: For Biosphere 2 Land Evolution Observatory (LEO) Autonomic Cyber-Physical System (ACPS)
Shafiul Islam
keywords: distributed software framework; data distribution service; service oriented architecture; autonomic computing, jacky’s universal process.

Understanding the Relationships Within the Medi SPICE Framework
Derek Flood, Fergal Mc Caffery, and Valentine Casey
keywords: Software Process; Medical Device Regulation; Software Process Improvement Roadmaps.

Mapping Between Service Designs Based on SoaML and Web Service Implementation Artifacts
Michael Gebhart and Jaouad Bouras
keywords: Service Design; SoaML; Implementation; Mapping; Transformation.

Constructing Tool Chains Based on SPEM Process Models
Matthias Biehl and Martin Törngren
keywords: Generative Approach; Model Driven Development; Process Modeling; Tool Integration; Embedded Systems.

Tracing Requirements and Source Code during Software Development
Alexander Delater, Nitesh Narayan, and Barbara Paech
keywords: traceability; requirements; source code; software development; information needs.

An Empirical Study Identifying High Perceived Value Requirements Engineering Practices in Global Software Development Projects
Mahmood Niazi, Mohamed El-Attar, Muhammad Usman, and Naveed Ikram
keywords: Global Software Engineering; Requirements Engineering.

Towards Automated Process Assessment in Software Engineering
Gregor Grambow, Roy Oberhauser, and Manfred Reichert
keywords: software engineering process assessment; semantic technology; Capability Maturity Model Integration; ISO/IEC 15504; ISO 9000

Specification of Formalized Software Patterns for the Development of User Interfaces
Danny Ammon, Stefan Wendler, Teodora Kikova, and Ilka Philippow
keywords: user interface patterns; user interface development; pattern specifications; UIML; UsiXML

Lowering Visual Clutter of Clusters in Component Diagrams
Lukas Holy, Jaroslav Snajberk, and Premek Brada
keywords: software visualization; component; visual clutter

A Framework for Characterizing Usability Requirements Elicitation and Analysis Methodologies (UREAM)
Jos Trienekens and Rob Kusters
keywords: usability; usability requirements

A Multilevel Contract Model for Quality-Driven Service Component Architecture
Maryem Rhanoui and Bouchra El Asri
keywords: Service Component; Service Component Architecture; Quality-Driven System; Contract; Aspects

Call for Software Tenders: Features and Research Problems
Jorge Hochstetter and Carlos Cares
keywords: call for tenders; software tenders; requirements engineering; tendering process; software projects.

BPEL-RF Tool: An Automatic Translation from WS-BPEL/WSRF Specifications to Petri Nets
Maria Diaz, Valetin Valero, Hermenegilda Macia, Jose Antonio Mateo, and Gregorio Diaz
keywords: Web Service compositions; WS-BPEL; WSRF; Coloured Petri nets; Tool support; Stateful workflows

Automated Reuse of Software Reuse Activities in an Industrial Environment – Case Study Results
Marcus Zinn, Klaus-Peter Fischer-Hellmann, and Ronald Schoop
keywords: Automated software unit reuse; software reuse activities; industrial environment; case study

Learning Best K analogies from Data Distribution for Case-Based Software Effort Estimation
Mohammad Azzeh and Yousef Elsheikg
keywords: Software Effort Estimation; Case-Based Reasoning; Adjustment Techniques

Predicting Risky Program Source Files
Syed Nadeem Ahsan, Syed Haider Abbas Naqvi, and Kamran Raza
keywords: Software evolution; code metrics; risk estimation;

Supporting Time Planning Aligned with CMMI-DEV and PMBOK
Rafael Gonçalves, André Pereira, and Christiane Wangenheim
keywords: time planning; PMBOK; CMMI; dotProject.

Specification of UML Classes by Object Oriented Petri Nets
Radek Koci and Vladimir Janousek
keywords: Class diagram; Object-Oriented Petri Nets; UML; transformation

A Report on Using Simplified Function Point Measurement Processes
Luigi Lavazza and Geng Liu
keywords: Functional Size Measures; Function Points; Simplified measurement processes; Early&Quick Function Points (EQFP); NESMA estimated; NESMA indicative

An Empirical Evaluation of Effort Prediction Models Based on Functional Size Measures
Luigi Lavazza, Sandro Morasca, and Gabriela Robiolo
keywords: Functional size measurement; function points; effort estimation; Regression Toward the Mean; Least Median of Squares.

Mapping ASM Specifications to Spec Explorer: Guidelines, Benefits and Challenges
Jameleddine Hassine
keywords: Model-based testing; Spec Explorer 2010; Abstract State Machines (ASM); CoreASM; AsmL

Object Segmentation by Edges Features of Graph Cuts
Weiwei Du, Yuki Masumoto, and Nobuyuki Nakamori
keywords: object segmentation, edges features, graph cuts, Gaussian Mixture Models

Product Development Time Improvement with Requirements Reuse
Semra Yilmaz Tastekin, Yusuf Murat Erten, and Semih Bilgen
keywords: requirements reuse, product development time

Specifying Class Hierarchies and Moose Metrics in Z
Younès El Amrani
keywords: Keywords-Metric; Design; Quality; Measure; MOOSE; LCOM; Z; Formal Specification.

Applying Algebraic Specification To Cloud Computing -- A Case Study of Infrastructure-as-a-Service GoGrid
Dongmei Liu, Hong Zhu, and Ian Bayley
keywords: Cloud computing; formal specification; algebraic specification; RESTful Web services, Infrastructure-as-a-Service

A Holistic Approach to Energy Efficiency Management Systems
Ignacio González, María Rodríguez Fernández, Juan Jacobo Peralta, and Adolfo Cortés
keywords: Digital Home; Energy Efficiency; Bill reduction; Cloud.

Structuring Software Reusability Metrics for Component-Based Software Development
Danail Hristov, Oliver Hummel, Mahmudul Huq, and Werner Janjic
keywords: Software Reusability; Software Reusability Metrics; Component-Based Software Development.

Dreiving Do-178C Requirements Within the Appropriate Level of Hierarchy
Jamie White and Hassan Reza
keywords: requirements traceability; requirements analysis; software engineering; safety critical systems; RTCA/DO-178C; software testing

Abstract State Machines Mutation Operators
Jameleddine Hassine
keywords: Mutation testing; specification; mutation operator; Abstract State Machines (ASM); CoreASM

Towards a Knowledge-Based Representation of Non-Functional Requirements
Mohamad Kassab and Ghizlane El-Boussaidi
keywords: non-functional requirements; ontology; software architecture; quality.

Towards Better Comparability of Software Retrieval Approaches Through a Standard Collection of Reusable Artifacts
Oliver Hummel and Werner Janjic
keywords: component-based software development; software reuse; software search; software retrieval; reference collection

Improving IT Infrastructures Representation: A UML Profile
Luís Ferreira da Silva, Fernando Brito e Abreu, and Victor Moreira
keywords: Information Technology; IT Infrastructures; UML Profile; Modeling; Design Patterns

An Investigation into Reference Architectures for Mobile Robotic Systems
Daniel Feitosa and Elisa Yumi Nakagawa
keywords: system; robot; reference architecture; systematic review.

Human Computer Interaction Teaching Method to Encourage Creativity
Deller Ferreira
keywords: creativity; human computer interaction; collaborative learning

Future Chances of Software Customization: An Empirical Evaluation
Michaela Weiss and Norbert Heidenbluth
keywords: customization; adaptability; tailoring; user study; human-computer interaction

Experimentation Package for Evaluation of Problems Applied to the Software Project Subject Using PBL
Jacson Rodrigues Barbosa, Fabrizzio Alphonsus Alves de Melo Nunes Soares, and Auri Marcelo Rizzo Vincenzi
keywords: Message-oriented middleware; software project teaching; problem-based learning

Improving Undergraduate Students' Programming Skills
Sukhamay Kundu
keywords: work-breakdown structure; stepwise refinement; programming process.

Requirements Engineering: A Process Model and Case Study to Promote Standardization and Quality Increase
Jose Andre Dorigan and Rodolfo Miranda Barros
keywords: Requirements Reuse; Quality on Requirements Description; Requirements Standardization.

Annotated Component-Based Description for Application Composition
Christian Brel, Philippe Renevier, Anne-Marie Pinna-Dery, and Michel Riveill
keywords: application composition; ontology; component-based architecture

Cognitive Engineering meets Requirements Engineering, Bridging the Traceability Gap
Alexandra Mazak and Horst Kargl
keywords: Requirements management; requirements traceability; cognitive engineering; traceability matrix; design decisions.

Knowledge Management Practices in GSD: A Systematic Literature Review
Smeea Arshad, Muhammad Usman, and Naveed Ikram
keywords: Knowledge Management; Knowledge Management Practices; Global software Development; Systematic Literature Review

Modelling the Strategic Alignment of Software Requirements using Goal Graphs
Richard Ellis-Braithwaite, Russell Lock, Ray Dawson, and Badr Haque
keywords: Requirements Engineering; Strategic Alignment; Quantified Goal Graphs; Requirements Traceability

A Constraint-based Method to Compute Semantics of Channel-based Coordination Models
Behnaz Changizi, Natallia Kokash, and Farhad Arbab
keywords: formal semantics; Reo; constraint automata; coloring semantics; constraint solving.

Predicting Quality Requirements Necessary for a Functional Requirement Based on Machine Learning
Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi
keywords: requirements analysis; quality requirements; machine learning; case grammar.

Abductive Logic Programming with Tabled Abduction
Luís Moniz Pereira and Ari Saptawijaya
keywords: tabled abduction; abduction transformation; well-founded semantics; XSB-Prolog

Towards a Methodology for Hardware and Software Design Separation in Embedded Systems
Gaetana Sapienza, Tiberiu Seceleanu, and Ivica Crnkovic
keywords: Development Process; Design Methodology; Partitioning; Multi Criteria Decision Analisys (MCDA).

Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems
Luka Lednicki, Ivica Crnković, and Mario Zagar
keywords: Component-based; code synthesis; sensors; actuators; embedded systems.

Modeling Crosscutting Concerns with Roles
Fernando Barbosa and Ademar Aguiar
keywords: Roles; Crosscuting concerns; Code clones

Towards a Glue-Code Specification Framework for Component-Based Systems
Sajjad Mahmood and Mohammed AlQadhi
keywords: Component Based Systems; Component Integration; Glue-Code Specification; UML; Use Case Model.

AO-WAD: A Generalized Approach for Accessible Design within the Development of Web-based Systems
Adriana Martín, Viviana Saldaño, Gabriela Miranda, and Gabriela Gaetán
keywords: Web Accessibility; WE Approaches; UI Design; Aspect-Orientation.

An Evaluation Framework for Requirements Elicitation in Agile Methods
Waleed Helmy, Amr Kamel, and Osman Hegazy
keywords: Agile Methods; Requirements Elicitation; Agile Requirements Elicitation

An Evaluation Framework for Requirements Envisioning in Agile Methods
Waleed Helmy, Amr Kamel, and Osman Hegazy
keywords: Requirements Envisioning; Agile Requirements Envisioning, Envisioning in Agile Methods

AgileKDD: An Agile Business Intelligence Process Model
Givanildo Nascimento and Adicinéia Oliveira
keywords: Business Intelligence; Knowledge Discovery in Databases; Agile Software Development; Software Process

The Dilemma of Tool Selection for Agile Project Management
Gayane Azizyan, Miganoush Magarian, and Mira Kajko-Mattsson
keywords: agile; tool; process; adoption

Framework for Better Efficiency of Automated Testing
Martin Filipsky, Miroslav Bures, and Ivan Jelinek
keywords: automated testing; functional tests; quality assurance; test efficiency; test recording

MobiTest: A Cross-Platform Tool for Testing Mobile Applications
Ian Bayley, Derek Flood, Rachel Harrison, and Clare Martin
keywords: Mobile Application; Testing; MobiTest.

Requirement-based Software Testing With the UML: A Systematic Mapping Study
Nesa Asoudeh and Yvan Labiche
keywords: Requirement based testing; systematic mapping study; model driven development; requirement engineering; Unified Modeling Language.

Simulation-Based Management for Software Dynamic Testing Processes
Mercedes Ruiz, Javier Tuya, and Daniel Crespo
keywords: software testing process; multiparadigm simulation; management

A Systematic Approach to Risk-Based Testing Using Risk-annotated Requirements Models
Marc-Florian Wendland, Marco Kranz, and Ina Schieferdecker
keywords: risk-based testing; behavior engineering; model-based testing; requirements model; safety-critical systems

An Automatic Security Testing approach of Android Applications
Stassia Resondry Zafimiharisoa, Sébastien Salva, and Patrice Laurençot
keywords: security testing, Android applications, model-based testing.

An Integrated Process for Developing Safety-critical Systems using Agile Development Methods
Zhensheng Guo and Claudia Hirschmann
keywords: safety-critical software-intensive systems; IEC 61508; EN 50128; agile software development process; Scrum

ESAC-BPM: Early Security Access Control in Business Process Management
Mahmoud F. Ayoub, Riham Hassan, and Hicham G. Elmongui
keywords: Business process management, security data access control, business rule activities

Intrusion Detection Using Ensembles
Alexandre Balon-Perin, Björn Gambäck, and Lillian Røstad
keywords: intrusion detection; ensemble approaches; bagging

Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci
keywords: Model-based software design; Linear predicates; Hybrid systems

ME-DiTV: A Middleware Extension for Digital TV
Victor Hazin da Rocha, Felipe Silva Ferraz, Heitor Nascimento de Souza, and Carlos Ferraz
keywords: Digital TV;Distributed System; Middleware

The Dynamic Composition of Independent Adaptations including Interferences Management
Sana Fathallah Ben Abdenneji, Stéphane Lavirotte, Jean-Yves Tigli, Gaëtan Rey, and Michel Riveill
keywords: software composition; adaptive software; interference management; graph transformation.

Mission-oriented Autonomic Configuration of Pervasive Systems
Guillaume Grondin, Matthieu Faure, Christelle Urtado, and Sylvain Vauttier
keywords: pervasive system; autonomic computing; context-awareness; service composition language.

The Consolidated Enterprise Java Beans Design Pattern for Accelerating Large-Data J2EE Applications
Reinhard Klemm
keywords: caching; Enterprise Java Beans; object consolidation; software design patterns; software performance

Explicit use of Working-set Correlation for Load-balancing in Clustered Web Servers
Stoyan Garbatov and João Cachopo
keywords: clustered web servers; load balance; locality awareness; Latent Dirichlet Allocation; scalability; performance

Evaluating Performance of Distributed Systems With MapReduce and Network Traffic Analysis
Thiago Vieira, Paulo Soares, Marco Machado, Rodrigo Assad, and Vinicius Garcia
keywords: Measurement of Distributed Systems; MapReduce; Network Traffic Analysis; Deep Packet Inspection