SER

SERP'11

The 2011 International Conference on Software Engineering Research and Practice


SERP'11 Vol I -  ISBN #:  1-60132-199-6
SERP'11 Vol II - ISBN #:  1-60132-200-3
SERP'11 Set -    ISBN #:  1-60132-201-1

EDITORS: Hamid R. Arabnia, Hassan Reza, Leonidas Deligiannidis

ASSOCIATE EDITORS: Austin Melton, Vince Schmidt, Ashu M. G. Solo

Foreword

SESSION: SOFTWARE MODELING, DESIGN METHODOLOGIES AND MODEL DRIVEN

ENGINEERING

Application of a Communication Protocol Methodology to Embed a Collaborative Virtual Reality Environment in Building Industry Game

Lacey Duckworth, Tulio Sulbaran, Andrew Strelzoff, Hal Johnston

Development and Evaluation Process of Model Transformation

Shekoufeh Kolahdouz Rahimi, Kevin Lano

Modeling and Analysis of Agent Oriented System: Petri Net Based Approach

Rajib Kumar Chatterjee, Anirban Sarkar, Swapan Bhattacharya

Graph Semantic Based Conceptual Model of Semi-structured Data: An Object Oriented Approach

Anirban Sarkar, Sesa Singha Roy

Adopting Knowledge Based Security System for Software Development Life Cycle

Jalal Alowibdi

Construction of Quality Prediction Model Based on Peer Review Performance Data

Mutsumi Komuro, Norihisa Komoda

FWA - A Framework for Developing Web-Atlas Applications

Mark Rop, Yi Liu , Michael Wimberly

Software Infrastructure for Grid Computing

Opeyemi Adesina, Dayo Aremu

Intelligent Conceptual Message Routing in Enterprise Service Bus (ESB)

Amir Massoud Bidgoli, Payam Nabhani

O2OOD: A Methodology for Converting Objective-Based Requirements into Object-Oriented Design

Manu Goel

Recovering Activity Diagrams from Object Oriented Code: an MDA-based Approach

Liliana Martinez, Claudia Pereira, Liliana Favre

Harris Hierarchy of Software Development Support Needs

Michael Harris, Thomas Cagley

(Dis)economies of Scale in Business Software Systems Development and Enhancement Projects

Beata Czarnacka-Chrobot

Atomic Domains of Java Library Classes

Hisham Haddad, Woranuch Kaensaksiri, Arjun Vasudevan

Modeling Virtual Machine Packing Factor using a Third Party Tool and other Strategies

Carl De Pasquale

Engineering a University-Wide Event Calendar System

Jon Whitener, Kevin Daimi

Table-based Software Designs: Bounded Model Checking and Counterexample Tracking

Noriyuki Katahira, Weiqiang Kong, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Agile Methodology for Designing and Improving Enterprise Scenarios

Lukasz Budnik, Henryk Krawczyk

A Distributed Chess Playing Software System Model Using Dynamic CPU Availability Prediction

Khondker Shajadul Hasan

EYEVISION: An Innovative Framework for the Development of Artificial Vision Systems

Maura Pasquotti, Marco Del Pin

A Petrinet Realization Of An Urban Traffic System

Kuhelee Roy, Ranjan Dasgupta

Designing an Online Conference Management System

Kevin Daimi, Luming Li

SESSION: SOFTWARE AND SYSTEM REQUIREMENTS ENGINEERING

Nurturing Systems Thinking: An Empirically Based Framework to Improve Systems Development Processes

Arjun Vijayanarayanan, Kelly Neville

A Practice of UML for Web Development

Kuang-Nan Chang, Peter Henderson

The Merging of Diverse Perspectives: Management, Customer, and Developer in an Iterative Development Planning Process

Robert Roggio, James Comer

Capturing Dynamic Behavior in Relational Model

Tulika Narang, Dharmendra K. Yadav

Towards a Shared Platform for Virtual Collaboration Analysis

Thomas Kowark, Matthias Uflacker, Alexander Zeier

Refactoring Catalog for Legacy Software using C and Aspect Oriented Language

S A M Rizvi, Zeba Khanam

SESSION: SOFTWARE ARCHITECTURE AND DESIGN PATTERNS

Design Patterns - A Modeling Challenge

Vojislav Radonjic, Soheila Bashardoust, Jean-Pierre Corriveau, Dave Arnold

On the Exploration of Lightweight Reverse Engineering Tool Development for C++ Programs

Yan Liang

An Approach for Generating Architectures for Pervasive Systems from Selected Features

Mostafa Hamza, Sherif Aly, Hoda Hosny

An Architectural Framework for the Improvement of the Ultra-Large-Scale Systems Interoperability

S. Shervin Ostadzadeh, Fereidoon Shams

Visualization Architecture for User Interaction with Dynamic Data Spaces in Multiple Pipelines

Sattiraju Prabhakar

Product Line Architectures for SOA

Mercy N. Njima, Maurice H. Ter Beek, Stefania Gnesi

On Choosing Program Refactoring and Slicing Re-engineering Practice Towards Software

Quality

Obeten O. Ekabua, Bassey E. Isong

Runtime Prediction of Software Service Availability

Davide Lorenzoli, George Spanoudakis

Applying the Theory of Structuration in Enterprise Architecture Design

Dominic M. Mezzanotte, Sr., Josh Dehlinger, Suanajan Chakraborty

An Analysis of Business Agility Indicators for SOA Deployments

Mamoun Hirzalla, Peter Bahrs, Jane Huang, Craig Miller, Rob High

Toward Security Analysis of Service Oriented Software Architecture

Hassan Reza, Washington Helps

Efficient Aspect Assignment in Heterogeneous Distributed Systems

Samet Bulu, Feza Buzluca

Using ATL Transformations to Derive RSL Specifications from Feature Models

Laura Felice, Marcela Ridao, Maria Virginia Mauco, Maria Carmen Leonardi

A Model-Driven Development Approach for Modeling Business Transactions at the Computation Independent Model Level

Jose Bocanegra, Diego Castano

SESSION: SOFTWARE QUALITY

Coupling Detection to Facilitate Maintenance of Database Applications

Paul Bergstein, Ashwin Buchipudi

Functional-Object-Oriented Hybrid Programming with FOBS

James Gil de Lamsdrid, Jill Zimmerman

Secure Reliability of Measurement Data through Application of Mechanism Design Theory

Sang-Pok Ko, Woo-Bok Yi

Development of E-tutorial for open source UML Tool (ArgoUML) Using Drupal as a CMS

Avishek Saha, Amee Lakhani

SESSION: SOFTWARE TESTING

Generating Verifiable Test Scenarios

Jean-Pierre Corriveau, Wei Shi

Performance Evaluation of Testing for Maintaining Software-Quality

Rajat Sheel Jain, Amit Gupta

Evaluation of the Test Methods in Agent-Oriented Software Engineering

Saeed Zamani, Ramin Nassiri, Sam Jabbehdari

Modeling of Object Oriented Software Testing Cost

Dinesh Kumar Saini, Moinuddin Ahmad

Software Defect Taxonomy, Analysis and Overview

Ali Asghary Karahroudy, M. H. N. Tabrizi

Enhanced Economic Modeling for Software Quality Failure Analysis

Dinesh Kumar Saini, Moinuddin Ahmad

New Trials on Test Data Generation: Analysis of Test Data Space and Design of Improved Algorithm

So-Yeong Jeon, Yong-Hyuk Kim

SESSION: SOFTWARE METRICS, PROCESS, AND ALGORITHMS

Selection of Software Estimation Models Based on Analysis of Randomization and Spread Parameters in Neural Networks

Cuauhtemoc Lopez-Martín, Arturo Chavoya, Maria Elena Meda-Campana

Effects of Culture on Software Project Team Management

Mohammad Alkandari, Shawn Bohner

Agent-Based CMMI for Software Maintenance Process Measurement Model

Haneen AL-Ahmad, Rodziah Atan, Abdul Azim Abd Ghani, Masrah Murad

Code Rocket: Seeking Improvements in Detailed Design Support for Non-Model Driven Approaches to Development

Craig Ramsay, Steve Parkes, Alan Spark

Model Transformation for a System of Systems Dependability Safety Case

Judy Murphy, Steve Driskell

A Design of Software Metric Tool for Improving Reliability and Usability

Won Shin, Tae-Wan Kim, Doo-Hyun Kim, Chun-Hyon Chang

SESSION: SOFTWARE PROJECT MANAGEMENT + EDUCATION

Evaluation of Business Software Systems Development and Enhancement Projects Effectiveness and Economic Efficiency on the basis of Functional Size Measurement

Beata Czarnacka-Chrobot

Estimating and Decision Making for Design Projects and Cognitive Bias of Hyperbolic Discounting

Neha Srivastava

Usability Evaluation of Indian Academic Web Application

Manju Pandey, Priyanka Tripathi, S.C. Shrivastava

Software Project Change Management Using Event Calculus

Petros Petrides, Andreas Gregoriades, Vicky Papadopoulou Lesta

Software Safety Engineering Education

David Coe, Joshua Hogue, Jeffrey Kulick

Project Success as an Evolving Concept

Kadir Alpaslan Demir

On the Shortest Path to Satisfy Software Projects' Core Requirements

Jie Liu, Ted Beers

AGILE Burndown Chart deviation - Predictive Analysis to Improve Iteration Planning

Dhruba Jyoti Chaudhuri, Aditi Chaudhuri

SESSION: FORMAL SPECIFICATION, VERIFICATION, AND VALIDATION METHODS

A Practical 4-coloring Method of Planar Graphs

Mingshen Wu, Weihu Hong

A Mathematical Model for Prediction of the Human Performance Based on the Personal Features

Konstantina Georgieva, Reiner Dumke, Anja Fiegler

A Proof-Based Approach to Detect Vulnerabilities in C Programs

Amel Mammar, Liu Penfei

The Edge-Pushing LR(k) Algorithm

Xin Chen, David Pager

Weighted Method Signatures Fingerprints

Stephane Leblanc, Dwight Deugo

Search the Best Greedy Algorithm with Hill Climbing Experiments for Covering Array Generation

Jing Jiang, Changhai Nie

LR(1) Parser Generator Hyacc

Xin Chen, David Pager

Lightweight Formal Verification for Tail Recursive Loops

A. Ricardo Morales, J. Nelson Rushton

Formal Modeling of Navigation System of Autonomous Mobile Robots using Graphs, Automata and Z

Nazir Ahmad Zafar, Fahad Alhumaidan, Javed Iqbal Iqbal

Comparative Study of Software Complexities of Tree Search Algorithms

Rotimi Salako, Dayo Aremu

SESSION: BATTLESPACE REPRESENTATION FOR AIR, SPACE, AND CYBER

Exploring the Fourth Dimension: a Computer Scientist's Experience in Temporal Display Development

Patrick Dudenhofer

A Semi-automated Display for Geotagged Text

Vincent Schmidt, Jane Binner

SESSION: SOFTWARE MEASUREMENT - THEORY AND PRACTICE

WAESM: Web Accessibility Educational Specific Model

Talal Albalawi, Abdulelah Algosaibi, Khalid Aljohani

Best Practices for Project Management: A Further Study

Kathleen Stirbens, Rafael Feijo

Improving Organizational Performance Using Academic Assessment Techniques

Binamra Dutta

Extended Cyclomatic Complexity Metric for XML Schemas

Reem Alshahrani

An Improved Model of Configuration Complexity

Moheeb Alwarsh

Role of Function Point as a Reuse Metric in a Software Asset Reuse Program

Johns Joseph

What Software Measurement Can Learn from Classical Measurement and Measurement Theory

Amruta Sakhrani, Austin Melton

SESSION: NOVEL APPLICATIONS + REQUIREMENTS ENGINEERING + PRODUCTIVITY + SECURITY + WORKFLOWS + VALIDATION + CERTIFICATION + TESTING + OO + CLOUD COMPUTING + RISK MANAGEMENT

Local Independence Transformation and Its Application to Removing Nonduplicate Statements in Code Clones

Chung Yung, Yen-Chang Lai, Qin-Xin Tu

Patterns-Based Assistance for Temporal Requirement Specification

Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni

SDP: Software Development Platform for Improving Software Productivity

Zih-Jyun Song, Dyi-Rong Duh, Yi-Jung Chen

Security Specifications for a Multi-disciplinary Research Project

Syed Rahman, Michael Peterson

Monitoring Errors in Integration Workflows

Rafael Z. Frantz, Rafael Corchuelo, Carlos R. Rivero, Carlos Molina-Jimenez

Feature Model Validation: A Constraint Propagation-Based Approach

Guoheng Zhang, Huilin Ye, Yuqing Lin