Full Description
It was our great pleasure to extend a welcome to all who participated in SERA 2003, the ?rst world-classs International Conference on Software Engineering Research and Applications, which was held at Crowne Plaza Union Square Hotel, San Francisco, California, USA. The conference was sponsored by the International Association for Computer and Information Science (ACIS), in cooperation with the Software Engine- ing and Information Technology Institute at Central Michigan University. This conference was aimed at discussing the wide range of problems encountered in present and future high technologies. In this conference, we had keynote speeches by Dr. Barry Boehm and Dr. C.V. Ramamoorthy and invited talks by Dr. RaymondYeh, Dr. Raymond Paul, Dr. Mehmet S ¸ahinoglu, which were fruitful to all who participated in SERA 2003. We would like to thank the publicity chairs and the members of our program c- mittees for their work on this conference. We hope that SERA 2003 was enjoyable for all participants.
Contents
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.
