CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xii

Preface (PDF)

pp. xiii-xiv

Program Committee (PDF)

pp. xv-xix

Reviewers (PDF)

pp. xx-xxiii

Long-Term Perspective of Agile Methods (Abstract)

pp. 1-2

PDF

Bridging the Gap between the Quality Requirements and Implementation (Abstract)

Janne Merilinna

Tomi Räty

pp. 3-8

PDF

Relating Security Requirements and Design Patterns: Reducing Security Requirements Implementation Impacts with Design Patterns (Abstract)

Felipe Silva Ferraz

Rodrigo Elia Assad

Silvio Romero Lemos Meira

pp. 9-14

PDF

Challenges in Deployment of Model Driven Development (Abstract)

pp. 15-20

PDF

CMS-Based Web-Application Development Using Model-Driven Languages (Abstract)

João de Sousa Saraiva

pp. 21-26

PDF

Deriving Normalized Systems Elements from Business Process Models (Abstract)

pp. 27-32

PDF

Building a Service-Oriented ERP from an Open Source Software (Abstract)

Georges Edouard Kouamou

pp. 33-38

PDF

UML Specification and Correction of Object-Oriented Anti-patterns (Abstract)

Maria Teresa Llano

Rob Pooley

pp. 39-44

PDF

A Unification of the Essence of Goal-Oriented Requirements Engineering (Abstract)

Hermann Kaindl

Patrick Wagner

pp. 45-50

PDF

A Software Requirements Change Source Taxonomy (Abstract)

Sharon McGee

Des Greer

pp. 51-58

PDF

Dimosthenis Anagnostopoulos

Handling Non-functional Requirements in Information System Architecture Design (Abstract)

Anargyros Tsadimas

Mara Nikolaidou

pp. 59-64

PDF

Reuse-Oriented Deployment of Software Components: Congregation in Service-Oriented Development (Abstract)

pp. 65-72

PDF

Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment (Abstract)

Thomas Müller

Alois Knoll

pp. 73-77

PDF

Symbolic Execution Techniques Extended to Systems (Abstract)

pp. 78-85

PDF

Integrating Formal Methods with Model-Driven Engineering (Abstract)

pp. 86-92

PDF

Felipe Santana Furtado Soares

Incentive Systems in Software Organizations (Abstract)

Gibeon Soares de Aquino Júnior

Sílvio Romero de Lemos Meira

pp. 93-99

PDF

Requirements Engineering by Connecting Requirements Directly to Data and Operations during Modeling (Abstract)

Sukhamay Kundu

pp. 100-107

PDF

MFQ & PPDCS - Test Analysis and Test Design for Large Embedded Software Systems (Abstract)

Xiaomei Tai

pp. 108-117

PDF

Program Comprehension for User-Assisted Test Oracle Generation (Abstract)

Teemu Kanstrén

pp. 118-127

PDF

Analysis of the Introduction of Testability Antipatterns during the Development Process (Abstract)

Muhammad Rabee Shaheen

Lydie du Bousquet

pp. 128-133

PDF

Combinatorial Approach for Automated Platform Diversity Testing (Abstract)

Rajendra Singh Sisodia

Vijaykumar Channakeshava

pp. 134-139

PDF

A Comparative Study on Automated Software Test Oracle Methods (Abstract)

Seyed Reza Shahamiri

Wan Mohd Nasir Wan Kadir

Siti Zaiton Mohd-Hashim

pp. 140-145

PDF

Mutation Analysis for SQL Database Applications (Abstract)

Andrea Gonçalves Cabeça

Mario Jino

Plinio S. Leitao-Junior

pp. 146-151

PDF

Automatic Test Data Generation for Multiple Condition and MCDC Coverage (Abstract)

Kamran Ghani

John A. Clark

pp. 152-157

PDF

Automation Test Method for Automotive Embedded Software Based on AUTOSAR (Abstract)

pp. 158-162

PDF

Risk Management through Real-Time Wearable Services (Abstract)

pp. 163-168

PDF

Testing of Image Processing Algorithms on Synthetic Data (Abstract)

Kilian von Neumann-Cosel

pp. 169-172

PDF

Building a Canonical Language for Distributed System Repository (Abstract)

Landry Engelbert Tongo

Georges Edouard Kouamou

pp. 173-178

PDF

Software Requirements for Ubiquitous Ad Hoc Mobile Networks: An Example of a Bluetooth Application (Abstract)

pp. 179-184

PDF

Model-Driven Open Source Software Development - The Open Models Approach (Abstract)

pp. 185-190

PDF

A Case Study of Developing an IDE for Embedded Software Using Open Source (Abstract)

Dominik Ertl

Harald Krapfenbauer

pp. 191-196

PDF

Semantic Interoperability Problem of OSS Forges (Abstract)

pp. 197-202

PDF

Goal Sketching and the Business Case (Abstract)

Kenneth Boness

Rachel Harrison

pp. 203-209

PDF

Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla (Abstract)

pp. 210-215

PDF

Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine (Abstract)

pp. 216-221

PDF

Service System Development Based on Web Process Ontology (Abstract)

pp. 222-228

PDF

An Anonymous Social Network Site to Share Pictures (Abstract)

pp. 229-234

PDF

Preserving Cohesive Structures for Tool-Based Modularity Reengineering (Abstract)

pp. 235-240

PDF

Gibeon Soares de Aquino Júnior

Towards Effective Productivity Measurement in Software Projects (Abstract)

Silvio Romero de Lemos Meira

pp. 241-249

PDF

Validation of Scenario-Based Business Requirements with Coloured Petri Nets (Abstract)

Óscar R. Ribeiro

João M. Fernandes

pp. 250-255

PDF

Framework Characteristics - A Starting Point for Addressing Reuse Difficulties (Abstract)

pp. 256-264

PDF

Dayang Norhayati Abang Jawawi

Integration of PECOS into MARMOT for Embedded Real Time Software Component-Based Development (Abstract)

Suzila Sabil

pp. 265-270

PDF

Rule-Based Service Modeling (Abstract)

Michael Gebhart

Sebastian Abeck

pp. 271-276

PDF

Olorisade Babatunde Kazeem

Evaluation of Convertibility Issues between IFPUG and COSMIC Function Points (Abstract)

Md. Forhad Rabbi

Shailendra Natraj

pp. 277-281

PDF

Functional Size of Use Case Diagrams: A Fine-Grain Measurement (Abstract)

Asma Sellami

Hanene Ben-Abdallah

pp. 282-288

PDF

Historical Perspective of Two Process Transitions (Abstract)

Natalja Nikitina

Mira Kajko-Mattsson

pp. 289-298

PDF

An Ontology Based Approach to Non-functional Requirements Conceptualization (Abstract)

pp. 299-308

PDF

Frameworks for the Development of Adaptive Systems: Evaluation of Their Adaptability Feature Through Software Metrics (Abstract)

Laura Masciadri

Claudia Raibulet

pp. 309-312

PDF

Flexible Persistence Support for State Machine-Based Workflow Engines (Abstract)

pp. 313-319

PDF

Effective Recognition of Patterns in Object-Oriented Designs (Abstract)

Trung Nguyen

Rob Pooley

pp. 320-325

PDF

An Emulator for Debugging Service Programs in Ad Hoc Networks (Abstract)

Koji Kawada

Tadashi Ohta

pp. 326-330

PDF

Developing Aspect-Oriented Software Architectures: A Framework Definition (Abstract)

Amparo Navasa

Miguel A. Perez-Toledano

Juan M. Murillo

pp. 331-338

PDF

Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support (Abstract)

pp. 339-345

PDF

A Monolithic Program vs. Modifiability: Enhancing a Visual Data Flow Program with Object-Oriented Techniques (Abstract)

Maija Marttila-Kontio

Marko Hassinen

Mikko Kontio

pp. 346-352

PDF

Process-Based Approach for Developing Automotive Embeded Software Supporting Tool (Abstract)

pp. 353-358

PDF

David de Almeida Ferreira

Wiki-Based Tool for Requirements Engineering According to the ProjectIT Approach (Abstract)

pp. 359-364

PDF

Integrating Quality Modeling with Feature Modeling in Software Product Lines (Abstract)

pp. 365-370

PDF

Antonio-Javier Garcia-Sanchez

Enhancements in the Orphan Process for Wireless Personal Area Networks: Real Implementation Scenarios (Abstract)

Felipe Garcia-Sanchez

Joan Garcia-Haro

pp. 371-377

PDF

Ontology Driven E-Government (Abstract)

pp. 378-383

PDF

Teaching Software Engineering Principles Using Micro Project with Eclipse (MPE) Activity: An Evaluation (Abstract)

Latifa Al-Abdulkarim

Maha Al-Yahya

pp. 384-388

PDF

A Practical Course on Mobile-Software Engineering: Mobile Solutions Laboratory (Abstract)

Alireza Hashemi Nekoo

Kaveh Vakili

pp. 389-393

PDF

Enhancement of Use Case Diagram to Capture Authorization Requirements (Abstract)

Khaled Alghathbar

pp. 394-400

PDF

Polymorphic Worm Detection Using Double-Honeynet (Abstract)

Mohssen M.Z.E. Mohammed

pp. 401-406

PDF

Identifying Security Requirements Hybrid Technique (Abstract)

pp. 407-412

PDF

A Methodological Tool for Asset Identification in Web Applications: Security Risk Assessment (Abstract)

pp. 413-418

PDF

Introducing Vulnerability Awareness to Common Criteria's Security Targets (Abstract)

Shanai Ardi

Nahid Shahmehri

pp. 419-424

PDF

Comparative Evaluation of the State-of-the Art on Approaches to Software Adaptation (Abstract)

pp. 425-430

PDF

Exploiting Adaptive Mechanisms to Enhance Functionalities: ABC4All - A Case Study (Abstract)

Fabio Bolis

Claudia Raibulet

pp. 431-436

PDF

Scenario-Based Genetic Synthesis of Software Architecture (Abstract)

pp. 437-445

PDF

Discussing the Difference between Model Driven Architecture and Model Driven Development in the Context of Supporting Tools (Abstract)

pp. 446-451

PDF

Towards Simulation-Based Design of the Software Systems (Abstract)

Radek Kocí

Vladimír Janoušek

pp. 452-457

PDF

BIRF: Keeping Software Development under Control across the Organization (Abstract)

pp. 458-464

PDF

Towards End-to-End Traceability: Insights and Implications from Five Case Studies (Abstract)

Lars Klimpke

Tobias Hildenbrand

pp. 465-470

PDF

Integrating Context-Aware and Fuzzy Rule to Data Mining Model for Supply Chain Finance Cooperative Systems (Abstract)

Liu Xiang

pp. 471-476

PDF

Evaluation and Optimisation of e-Learning Software Packages: Learning Object Repositories (Abstract)

Eugenijus Kurilovas

pp. 477-483

PDF

Goal-Oriented Service Selection in Business Processes (Abstract)

Roland Ukor

Andy Carpenter

pp. 484-489

PDF

Towards Resource Consumption-Aware Programming (Abstract)

pp. 490-493

PDF

Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model (Abstract)

pp. 494-499

PDF

Development of CMS-Based Web-Applications Using a Model-Driven Approach (Abstract)

João de Sousa Saraiva

pp. 500-505

PDF

Managing Features and Aspect Interactions in Software Product Lines (Abstract)

Jorge Barreiros

Ana Moreira

pp. 506-511

PDF

Software Process Improvement in Multimodel Environments (Abstract)

Andre Ferreira

Ricardo Machado

pp. 512-517

PDF

David de Almeida Ferreira

A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering (Abstract)

pp. 518-523

PDF

Patterns and Tools for Improving Framework Understanding: A Collaborative Approach (Abstract)

Nuno Flores

Ademar Aguiar

pp. 524-529

PDF

Adaptive Object-Modelling: Patterns, Tools and Applications (Abstract)

pp. 530-535

PDF

Inception of Software Validation and Verification Practices within CMMI Level 2 (Abstract)

pp. 536-541

PDF

Filipe Figueiredo Correia

Software Knowledge Capture and Acquisition: Tool Support for Agile Settings (Abstract)

Ademar Aguiar

pp. 542-547

PDF

Testing for Unexpected Interactions in AOP (Abstract)

André Restivo

Ademar Aguiar

pp. 548-552

PDF

Integrating IT Service Management within the Enterprise Architecture (Abstract)

Anacleto Correia

Fernando Brito e Abreu

pp. 553-558

PDF

An Ontology-Based Approach to Model-Driven Software Product Lines (Abstract)

pp. 559-564

PDF

Multistage Model Transformations in Software Product Lines (Abstract)

pp. 565-569

PDF

Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds (Abstract)

Sérgio Bryton

Fernando Brito e Abreu

pp. 570-575

PDF

Luís Alexandre Ferreira da Silva

Exploring and Overcoming Major Challenges in IT Infrastructures Faced by IT Executives (Abstract)

Fernando Brito e Abreu

pp. 576-581

PDF

Author Index (PDF)

pp. 583-585

Publisher's Information (PDF)

pp. 586