Software engineering research and applications : first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers / C.V. Ramamoorthy, Roger Y. Lee, Kyung Whan Lee, (eds.).

Includes bibliographical references and index.

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Research and Applications, SERA 2003, held in San Francisco, CA, USA in June 2003. The 23 revised full papers presented were carefully selected from 104 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on formal methods; component-based software engineering; software quality, requirements engineering, reengineering, and performance analysis; knowledge discovery and artificial intelligence; and database retrieval and human-computer interaction.

Keynote Addresses -- Balancing Agility and Discipline: A Guide for the Perplexed -- A Study of Feedback in Software Supported Networked Systems -- Invited Talks -- Why Great Organizations Are Great? The Art of Business -- Future of Computer Software Systems: Commodity or Service? -- An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems -- Formal Methods -- Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications -- Analyzing Relationships to the Quality Level between CMM and Six Sigma -- Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain -- Component-Based Software Engineering -- Measuring and Communicating Component Reliability -- Toward Component-Based System: Using Static Metrics and Relationships in Object-Oriented System -- Communication Style Driven Connector Configurations -- A Study on the Specification for e-Business Agent Oriented Component Based Development -- Software Process Models -- Towards Efficient Management of Changes in XML-Based Software Documents -- Model-Based Project Process Analysis Using Project Tracking Data -- Software Testing and Quality Issues -- A COM-Based Customization Testing Technique -- Design Defect Trigger for Software Process Improvement -- Certification of Software Packages Using Hierarchical Classification -- An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology -- Requirements Engineering, Reengineering, and Performance Analysis -- Normalizing Class Hierarchies Based on the Formal Concept Analysis -- QoS-Guaranteed DiffServ-Aware-MPLS Traffic Engineering with Controlled Bandwidth Borrowing -- Architecture Based Software Reengineering Approach for Transforming from Legacy System to Component Based System through Applying Design Patterns -- Knowledge Discovery and Artificial Intelligence -- Increasing the Efficiency of Cooperation among Agents by Sharing Actions -- Applying Model Checking Techniques to Game Solving -- A Fuzzy Logic-Based Location Management Method for Mobile Networks -- A Next Generation Intelligent Mobile Commerce System -- Database Retrieval and Human Computer Interaction -- Indexing XML Data for Path Expression Queries -- Improving Software Engineering Practice with HCI Aspects -- Software Security -- Reliability Assurance in Development Process for TOE on the Common Criteria.

English.