Software Engineering Research, Management and Applications 2009

The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.

The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 4. SERA '09 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, software engineering, networks and mobile computing, parallel/distributed computing, software testing, reuse and metrics, database retrieval, computer security, software architectures and modeling. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members or the program committee, and underwent further rigorous rounds of review.

Includes the best papers of the SERA 2009 to be held on December 2-4, 2009 in Haikou, China

Inhalt
Efficiency from Formalization: An Initial Case Study on Archi3D.- An Agent-Based Framework for Association Rules Mining of Distributed Data.- Defining and Implementing Software Subcontracting Management Processes in Small Enterprises.- A Robust Approach to Subsequence Matching.- Toward Automated Support for Software Process Improvement Initiatives in Small and Medium Size Enterprises.- Syntactic and Semantic Prediction in Dynamic Languages.- M-KAD: A Scalable Peer-to-Peer System for Similarity Search in Metric Space.- A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs.- A Practical Approach to Developing Applications with Reusable Services.- Supporting Real-Life Applications in Hierarchical Component Systems.- Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.- Frameworks for Maturity Questionnaire Selection Model.- An Agent-Based Web Services Market.- Investigating Inconsistency Detection as a Validation Operation in Software Product Line.- Combined Algorithms for Classification of Conduct Disorder of Students in Thai Vocational School.- Error Estimation Model for Managing Embedded Software Development.- Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs.- Network Monitoring with Real-Time Properties: A Step Forward.- A Pragmatic Analysis Model for Software Reuse.- Evaluation of Test-Driven Development: An Academic Case Study.- New Smith Predictor and Fuzzy Adaptive Control for Wireless Networked Control Systems.- FRAME: A Generic Fractal Process Metamodel for Agile Methodologies.- Workflow Change Patterns: Opportunities for Extension and Reuse.- Patterns of Situational Method Engineering.- A Novel MHC-Inspired Approach for Malicious Code Detection.