ICSEA 2011, The Sixth International Conference on Software Engineering Advances

Type: conference

Notes: IARIA Conference.

Editors:
Luigi Lavazza, Università dell'Insubria - Varese, Italy
Luis Fernandez-Sanz, Universidad de Alcala, Spain
Oleksandr Panchenko, Hasso Plattner Institute for Software Systems Engineering - Potsdam, Germany
Teemu Kanstrén, VTT Technical Research Centre of Finland - Oulu, Finland

ISSN: 2308-4235

ISBN: 978-1-61208-165-6

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011

Articles: there are 96 articles

Software Product Line Agility
Ahmed Abouzekry and Riham Hassan
keywords: Enterprise Unified Process; Agile Unified Process; Software Product line.

An Agile Model-Driven Development Approach - A case study in a finance organization
Mina Boström Nakicenovic
keywords: agile; lean; MDD; TDD; finance

A Planning Poker Tool for Supporting Collaborative Estimation in Distributed Agile Development
Fabio Calefato and Filippo Lanubile
keywords: distributed; agile; estimation; planning

Scrum Maturity Model: Validation for IT organizations’ roadmap to develop software centered on the client role
Alexandre Yin, Soraia Figueiredo, and Miguel Mira da Silva
keywords: development methodologies; agile methodologies; scrum development methodology; maturity model; action research

Usage of Robot Framework in Automation of Functional Test Regression
Stanislav Stresnjak and Zeljko Hocenski
keywords: software testing; integration testing; regression testing; test automation; robot framework

A Test Purpose and Test Case Generation Approach for SOAP Web
Sébastien Salva and Issam Rabhi
keywords: Stateful Web services; STS; SOAP; test purpose generation.

Ev-ADA: A Simulation-driven Evaluation Architecture for Advanced Driving-Assistance Systems
Assia Belbachir, Jean-Christophe Smal, Jean-Marc Blosseville, and Sébastien Glaser
keywords: Simulation architecture; Pro-SiVIC; Evaluation; ADAS

On the Preliminary Adaptive Random Testing of Aspect-Oriented Programs
Reza Meimandi Parizi and Abdul Azim Abdul Ghani
keywords: software testing; random testing; adaptive random testing; aspect-oriented programming; aspect testing

Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study
Rodrigo Fraxino Araujo, Auri Marcelo Rizzo Vincenzi, François Delebecque, José Carlos Maldonado, and Márcio Eduardo Delamaro
keywords: Simulink, Scicos, HAZOP, mutation testing.

A Static Robustness Grid Using MISRA C2 Language Rules
Mohammad Abdallah, Malcolm Munro, and Keith Gallagher
keywords: Robustness; Robustness Grid; MISRA C2

A Specifications-Based Mutation Engine for Testing Programs in C#
Andreas S. Andreou and Pantelis M. Yiasemis
keywords: mutation testing; mutation engine; specifications

Component-based Software System Dependency Metrics based on Component Information Flow Measurements
Majdi Abdellatief, Abu Bakar Md Sultan, Abdul Azim Abd Ghani, and Marzanah A.Jabara
keywords: Keywords-Component-based software system; Software metric; Dependency; Information flow.

Module Interactions for Model-Driven Engineering of Complex Behaviour of Autonomous Robots
Vladimir Estivill-Castro and Rene Hexel
keywords: Automation of Software Design and Implementation. Software Modeling. Model-Driven Engineering. Visual Modeling.

Case Study for a Quality-Oriented Service Design Process
Michael Gebhart, Suad Sejdovic, and Sebastian Abeck
keywords: service; design; quality; geographical information system; case study

Meta-Model for Global Software Development to Support Portability and Interoperability in Global Software Development
Bugra Mehmet Yildiz and Bedir Tekinerdogan
keywords: Global Software Development, Architecture Modeling, Model-Driven Development

A New Approach to Software Development Process with Formal Modeling of Behavior Based on Visualization
Abbas Rasoolzadegan and Ahmad Abdollahzadeh Barfourosh
keywords: Formalization; visualization; design patterns; formal modeling methods; semi-formal modeling methods

Non-Functional Requirements for Business Processes in the Context of Service-Oriented Architectures
Oliver Charles and Bernhard Hollunder
keywords: Non-functional requirements, Business process, BPMN, BPEL, SOA, WS-Policy, Web services, Quality of service

A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, and Patrizia Scandurra
keywords: Service-oriented applications; software adaptation and evolution; extra-functional adaptation patterns

PSW: A Framework-based Tool Integration Solution for Global Collaborative Software Development
Juho Eskeli, Jon Maurolagoitia, and Carmen Polcaro
keywords: collaborative software development; global software development; collaboration; tools; tool integration

Feature-Oriented Programming and Context-Oriented Programming: Comparing Paradigm Characteristics by Example Implementations
Nicolás Cardozo, Sebastian Günther, Theo D'Hondt, and Kim Mens
keywords: Feature-oriented programming, context-oriented programming, language paradigms

Soft Constraints in Feature Models
Jorge Barreiros and Ana Moreira
keywords: Feature Models; Software Product Lines; Soft Constraints; Feature Consistency; Feature Interaction; Semantic Validation

Feature Modeling of Software as a Service Domain to Support Application Architecture Design
Karahan Öztürk and Bedir Tekinerdogan
keywords: modeling, service, architecture, design, SaaS

Adding Support for Hardware Devices to Component Models for Embedded Systems
Luka Lednicki, Juraj Feljan, Jan Carlson, and Mario Žagar
keywords: Component-based Development, Embedded Systems, Hardware devices, platform modeling

A Service Component Framework for Multi-User Scenario Management in Ubiquitous Environments
Matthieu Faure, Luc Fabresse, Marianne Huchard, Christelle Urtado, and Sylvain Vauttier
keywords: Ubiquitous environment; service-oriented computing; user-centric; service composition; scenario creation

A Graph-Based Requirement Traceability Maintenance Model
Vikas Shukla, Guillaume Auriol, and Claude Baron
keywords: Requirement Traceability; Graph; Maintenance; Decision making.

A Systematic Mapping Study on Patient Data Privacy and Security for Software System Development
Isma Masood and Saad Zafar
keywords: Systematic mapping study; Electronic Health Records (EHR); Patient data privacy and security; Software system development.

Impact on the inclusion of security in the UPnP protocol within the Smart Home
Alberto Alonso Fernández, Alejandro Álvarez Vázquez, María del Pilar Almudena García Fuente, and Ignacio González Alonso
keywords: DHCompliant; Security; Data Encryption; UPnP

OntoLog: Using Web Semantic and Ontology for Security Log Analysis
Clovis Nascimento, Felipe Ferraz, Rodrigo Assad, Danilo Leite, and Victor Hazin
keywords: Security; Log Analysis; Ontology

Intrusion Detection with Symbolic Model Verifier
Ines Ben Tekaya, Mohamed Graiet, and Bechir Ayeb
keywords: attacks; intrusion; security; scenarios; Linux commands; model verifier.

Security Quality Assurance on Web Applications
Rodrigo Assad, Felipe Ferraz, Henrique Arcoverde, and Silvio Meira
keywords: security requirements; design patterns; security tests validation, quality assurance

On Generating Security Implementations from Models of Embedded Systems
Mehrdad Saadatmand, Antonio Cicchetti, and Mikael Sjödin
keywords: Embedded security; MDA; Code generation; UML modeling

Proposal for Ground Shipping High Volume of Data Parameter in Supersampling Unmanned Aircraft Through Radio Modem
Manuel Sanchez Rubio, Vicente Millet Coll, Neves Seoane Vieira, Luis De Marcos Ortega, and Jose Javier Martínez Herráiz
keywords: Information retrieval; unmanned aircraft; data processing; sensors; radio modem

The Smart Persistence Layer
Mariusz Trzaska
keywords: Impedance mismatch; Databases mapping; Object-Relational Mappers; ORMs; Persistence; LINQ

UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems
Mehrdad Saadatmand, Antonio Cicchetti, and Mikael Sjödin
keywords: Non-functional requirements; Telecommunication domain; UML modeling; Real-Time Embedded Systems; MDA.

A maintenance Approach of a BJI Index Configuration
Saïd Taktak and Jamel Feki
keywords: data warehouse; bitmap join indexes; tuning.

Software Cache Eviction Policy based on Stochastic Approach
Stoyan Garbatov and João Cachopo
keywords: software cache; stochastic approach; performance; data access

Performance Simulation of a System's Parallelization
Markus Meyer, Helge Janicke, Peter Trapp, Christian Facchi, and Marcel Busch
keywords: software performance optimization; performance simulation; parallelization; dynamic performance stubs

Towards Executable Business Processes with the Problem Oriented Engineering Process Algebra
Dariusz W. Kaminski, Jon G. Hall, and Lucia Rapanotti
keywords: process modelling; process algebra; Problem Orientation.

Optimal Functionality and Domain Data Clustering based on Latent Dirichlet Allocation
Stoyan Garbatov and João Cachopo
keywords: clustering; Latent Dirichlet Allocation; stochastic model; Silhouette

Formal Parsing Analysis of Context-Free Grammar using Left Most Derivations
Khalid A. Buragga and Nazir Ahmad Zafar
keywords: parsing analysis; context-free language; formal specification; Z notation; verification.

Functional Complexity Measurement: Proposals and Evaluations
Luigi Lavazza and Gabriela Robiolo
keywords: Functional size measurement; Function Points; COSMIC function points; effort estimation; functional complexity measurement

Design Patterns for Model Transformations
Kevin Lano and Shekoufeh Kolahdouz-Rahimi
keywords: Design patterns; model transformations; UML

Component-oriented Software Development with UML
Nara Sueina Teixeira and Ricardo Pereira e Silva
keywords: Component-oriented development; structural compatibility analysis; behavioral compatibility analysis; UML; Petri Nets.

Metrics in Distributed Product Development
Maarit Tihinen, Päivi Parviainen, Rob Kommeren, and Jim Rotherham
keywords: metrics; measurements; global software development; distributed software development

Edola: A Domain Modeling and Verification Language for PLC Systems
Hehua Zhang, Ming Gu, and Xiaoyu Song
keywords: domain-specific modeling language; formal verification;PLC; TLA+

A Practical Method for the Reachability Analysis of Real-Time Systems Modelled as Timed Automata
Abdeslam En-Nouaary and Rachida Dssouli
keywords: Real-Time systems, Formal Methods, Timed Automata, Verification, Reachability Analysis.

Reverse Engineering of Graphical User Interfaces
Inês Coimbra Morgado, Ana Paiva, and João Pascoal Faria
keywords: ReGUI, Reverse Engineering, GUI Testing

Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML
Radek Koci and Vladimir Janousek
keywords: Simulation-Based Design, Object-Oriented Petri Nets, DEVS, UML

Invariant Preservation by Component Composition Using Semantical Interface Automata
Sebti Mouelhi, Samir Chouali, and Hassan Mountassir
keywords: software components, interface automata, action semantics, formal correctness, invariants.

Method for CMMI-DEV Implementation in Distributed Teams
Tiago da Cunha Oliveira and Miguel Mira da Silva
keywords: Development Process, CMMI-DEV, Geographically Distributed Teams, Organizational Change

Advanced Object Oriented Metrics for Process Measurement
Shreya Gupta and Ratna Sanyal
keywords: Mood Metrics; Attribute Inheritance Factor; Method Inheritance Factor; Attribute Hiding Factor; Method Hiding Factor.

Quality Issues in Global Software Development
Sanjay Misra and Luis Fernández-Sanz
keywords: Global Software Development; process quality; product quality; requirement and coordination challenges

A Systematic Review of Self-adaptation in Service-oriented Architectures
María del Pilar Romay, Luis Fernández-Sanz, and Daniel Rodriguez
keywords: adaptivity; self-adaptation; service architecture; autonomic systems; SOA; systematic review.

A Formal Specification of G-DTD:A Conceptual Model to Describe XML Documents
Zurinahni Zainol and Bing Wang
keywords: XML model and design; graphical notation; DTD; formal methods

Formal Specification of Software Design Metrics
Meryem Lamrani, Younes El Amrani, and Abdelaziz Ettouhami
keywords: formalization; UML metamodel; Z; CK metrics;

E-FOTO: Development of an Open-Source Educational Digital Photogrammetric Workstation
Jorge Luís N. S. Brito, Rafael A. Aguiar, Marcelo T. Silveira, Luiz Carlos T. C. Filho, Irving S. Badolato, Paulo André B. Pupim, Patrícia F. Reolon, João A. Ribeiro, Jonas R. Silva, Orlando B. Filho, and Guilherme L. A. Mota
keywords: Digital Photogrammetry; Digital Photogrammetric Workstation; Education in Photogrammetry; Open-source code for Geospatial Applications; Extreme Programming; Agile Methods.

Vitalizing Local ICT-industry by Acceleration of FLOSS-based Software Product Development: A Case Study of the ICT-industry in Okinawa
Jun Iio, Yasuyuki Minei, Masato Kubota, and Kazuhiro Ooki
keywords: OSS-based software products; local ICT-industry; development support.

Empirical Case Study of Measuring Productivity of Programming Language Ruby and Ruby on Rails
Tetsuo Ndoa and Chi Jia
keywords: Open Source; Ruby; Ruby on Rails; Productivity; Programming Languag

Querying Source Code Using a Controlled Natural Language
Oleksandr Panchenko, Stephan Müller, Hasso Plattner, and Alexander Zeier
keywords: Source code repository; source code query language; development tools; controlled natural language.

Towards Complementing User Stories
Christian Kop
keywords: user stories, domain models, natural language queries

Performance Evaluation of a Generic Deployment Infrastructure for Component- based S/W Engineering
Abdelkrim Benamar and Noureddine Belkhatir
keywords: deployment and configuration specification; model driven architecture; computer network graph.

A Proof-based Approach for Verifying Composite Service Transactional Behavior
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, and Walid Gaaloul
keywords: web service composition; Event-B; transactional web service; proof; verification.

Certification of MDA Tools: Vision and Application
Oksana Nikiforova, Natalja Pavlova, Antons Cernickins, and Tatjana Jakona
keywords: MDA; CASE-tools; certification; modeling.

Automatic Generation of Graphical User Interfaces From VDM++ Specifications
Carlos Nunes and Ana Paiva
keywords: Formal Methods; Graphical User Interfaces; Vienna Development Method; Automatic Code Generation

An Approach to Model, Configure and Apply QoS Attributes to Web Services
Ahmed Al-Moayed and Bernhard Hollunder
keywords: Service-oriented architecture, meta-model, modelmodel transformation, QoS-aware Web services

Transformation of Composite Web Service for QoS Extension into ACMEArmani
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, and Eric Cariou
keywords: Web Services Composition, QoS, MDE, Transformation, ACME/ARMANI ADL.

ATL Transformation of UML 2.0 for the Generation of SCA Model
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, and Eric Cariou
keywords: UML 2.0, SCA, MDE, ATL.

Towards the Development of Integrated Reuse Environments for UML Artifacts
Moataz Ahmed
keywords: early-stage artifacts; design reuse; integrated reuse environment; similarity metrics; multi-view similarity

An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
Khadija El Miloudi, Younes El Amrani, and Abdelaziz Ettouhami
keywords: Z; UML; UML inconsistencies; Formal Specification; Software Model Checking;

UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, and Eric Cariou
keywords: Software architecture, SCA, UML 2.0, OCL, Profile and Metamodel.

Process Improvement and Knowledge Sharing in Small Software Companies: A Case Study
Minna Kivihalme, Anne Valsta, and Raine Kauppinen
keywords: process, project, knowledge sharing, education

Choosing a Business Software Systems Development and Enhancement Project Variant on the basis of Benchmarking Data – Case Study
Beata Czarnacka-Chrobot
keywords: business software systems development and enhancement projects variants; rational investment decision; benchmarking data repositories; software engineering economics

Towards Functional and Constructional Perspectives on Business Process Patterns
Peter De Bruyn, Dieter Van Nuffel, Philip Huysmans, and Herwig Mannaert
keywords: Normalized Systems, business process patterns, analysis patterns, evolvability, MIT Process Handbook

Practical Experiences with Software Factory Approaches in Enterprise Software Delivery
Alan Brown, Ana Lopez, and Luis Reyes
keywords: software engineering; software process improvement; application management; software delivery

A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues
J Paul Gibson and Jean-Luc Raffy
keywords: Teaching, Education, Curriculum, Software Engineering

Using Software Engineering Principles to Develop a Web-Based Application
Cynthia Lester
keywords: software development; software engineering; web-based application; web engineering

How to Think about Customer Value in Requirements Engineering
Xinwei Zhang, Guillaume Auriol, Claude Baron, and Vikas Shukla
keywords: values, requirements engineering, multiple attributes preference theory, weights

Migrating Functional Requirements in SSUCD Use Cases to a More Formal Representation
Mohamed El-Attar and James Miller
keywords: Use Cases; SSUCD; SUCD; Model Transformation.

KM-SORE: Knowledge Management for Service Oriented Requirements Engineering
Muneera Bano and Naveed Ikram
keywords: Service Oriented Software Engineering (SOSE); Requirement Engineering (RE); Knowledge Management (KM)

Brainstorming as a Route to Improving Software Processes
Celestina Bianco
keywords: improvement; participation; experience; motivation.

Web-Based Focus Groups for Requirements Elicitation
Carla Farinha and Miguel Mira da Silva
keywords: Requirements Elicitation; Focus Groups; Collaboration Tools

Mapping Architectural Concepts to SysML Profile for Product Line Architecture Modeling
Shahliza Abd Halim, Mohd Zulkifli Mohd Zaki, Noraini Ibrahim, Dayang N. A. Jawawi, and Safaai Deris
keywords: product line architecture (PLA); autonomous mobile robot (AMR),architecture description language, xADL

Exploring Architecture Design Alternatives for Global Software Product Line Engineering
Bedir Tekinerdogan, Semih Cetin, and Ferhat Savci
keywords: Product Line Engineering, Global Software Development, Business Strategies

Towards CMMI-compliant MDD Software Processes
Alexandre Marcos Lins de Vasconcelos, Giovanni Giachetti, Beatriz Marín, and Oscar Pastor
keywords: MDD; OO-Method; CMMI; Software Process Quality; Feature-based Analysis.

From Boolean Relations to Control Software
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci
keywords: Control Software Synthesis; Embedded Systems; Model Checking

Empirical Evidence in Software Architecture: A Systematic Literature Review Protocol
Nadia Qureshi, Naveed Ikram, Muneera Bano, and Muhammad Usman
keywords: systematic literature review; software architecture state-of-the-art

Agile Development of Interactive Software by means of User Objectives
Begoña Losada, Maite Urretavizcaya, and Isabel Fernández de Castro
keywords: Software Engineering; Agile method; User-Centered Design; Model-Driven Development

REfIS: A Stage-based Methodology for Eliciting Requirements
Felipe Ferraz, Leopoldo Ferreira, Rodrigo Assad, Renato Ferreira, and Silvio Meira
keywords: eliciting requirements; methodology; innovation systems.

A Metamodel for Representing Safety LifeCycle Development Process
Yulin Zhang, Brahim Hamid, and Damien Gouteux
keywords: Safety lifecycle, Development process, Modelingn, Process metamodel

On the Extensibility of Plug-ins
Vanea Chiprianov, Yvon Kermarrec, and Siegfried Rouvrais
keywords: Plug-in; extensibility; framework; software architecture; software design; design pattern; Domain Specific Language; modeling; experience report.

Effective Task Allocation in Distributed Environments: A Traceability Perspective
Salma Imtiaz and Naveed Ikram
keywords: Architectural View; Distributed Development.

An Agile Method for Model-Driven Requirements Engineering
Grzegorz Loniewski, Ausias Armesto, and Emilio Insfran
keywords: Model-Driven Development, Requirements Engineering, agile methodology, OpenUP

Evidence in Requirements Engineering: A Systematic Literature Review Protocol
Talat Ambreen, Muhammad Usman, Naveed Ikram, and Muneera Bano
keywords: systematic literature review; requirements engineering, evidence-based software engineering.

Success Factors Leading to the Sustainability of Software Process Improvement Efforts
Natalja Nikitina and Mira Kajko-Mattsson
keywords: SPI project health, lessons

Software Quality Assessment and Error/Defect Identification in the Italian Industry Preliminary Results from a State of the Practice Survey
Fausto Fasano, Giuseppe Scanniello, Andrea De Lucia, and Genoveffa Tortora
keywords: empirical investigation; quality assessment; error/ defect identification; inspection; state of the practice survey; testing

Revisiting the Requirements Communication Problem from a Knowledge Management Perspective
Hermann Kaindl and Lukas Pilat
keywords: Keywords-requirements engineering; communication problem; knowledge management