| Conference Chairs' Message |
| Program Chairs' Message |
| Conference Organizers |
| Steering Committee |
| Program Committee |
| Reviewers |
| Requirements Engineering / Session 1A： |
| A Study of the Impact of Requirements Volatility on Software Project Performance / D. Zowghi ; N. Nurmuliani |
| Integrating Use-Case Analysis and Task Analysis for Interactive Systems / S-K. Kim ; D. Carrington |
| A Feasible User Story Tool for Agile Software Development? / M.J. Rees |
| Formal Methods (Refinement) / Session 1B： |
| Results on Formal Stepwise Design in Z / M. Deutsch ; M.C. Henson ; S. Reeves |
| Refining Exceptions Using King and Morgan's Exit Construct / G. Watson |
| Refining Object-Oriented Invariants and Dynamic Constraints / J. Shield ; I.J. Hayes |
| Components / Session 1C： |
| Using Components to Increase Maintainability in a Large Telecommunication System / H. Algestam ; M. Offesson ; L. Lundberg |
| Evaluating the Scalability of Enterprise JavaBeans Technology / Y. Liu ; I. Gorton ; A. Liu ; S. Chen |
| Performance of SOAP in Web Service Environment Compared to CORBA / R. Elfwing ; U. Paulsson |
| Design / Session 2A： |
| Towards a Taxonomy for Guiding Multimedia Application Development / A. Hannington ; K. Reed |
| Extracting Threads from Concurrent Objects for the Design of Embedded Systems / M. Okazaki ; T. Aoki ; T. Katayama |
| A Nested Invocation Suppression Mechanism for Active Replication Fault-Tolerant CORBA / D. Liang ; C-L. Fang ; C. Chen ; F. Lin |
| Formal Specification Analysis / Session 2B： |
| Formal Verification of [mu]-Charts / D. Goldson |
| Animation of Data Refinements / N.J. Robinson ; C. Fidge |
| Symbolic Simulation of Hybrid Systems / R-J. Back ; C.C. Seceleanu ; J. Westerholm |
| Programming Languages and Software Engineering / Session 2C： |
| Embedding XML Processing Toolkit on General Purpose Programming Language / T. Kamina ; T. Tamai |
| A Software Engineering Approach to Constraint Programming Systems / K.B. Ng ; C.W. Choi ; M. Henz |
| A Virtual File System for Source Program Editing / Y. Atsushi ; F. Naoki |
| Keynote |
| A Quality Doctrine for Software: Do It Right the First Time / S.E. Cross |
| Education / Session 3A： |
| iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses / A. Braun ; A.H. Dutoit ; A.G. Harrer ; B. Brugge |
| An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and Its International Applicability / J.B. Thompson ; H.M. Edwards |
| Model Checking / Session 3B： |
| Behavioural Analysis of Component Framework with Multi-Valued Transition System / S. Nakajima |
| Abstraction and Flow Analysis for Model Checking Open Asynchronous System / N. Ioustinova ; N. Sidorova ; M. Steffen |
| Human Computer Interaction / Session 3C： |
| Automatic Filling in a Form by an Agent for Web Applications / T. Chusho ; K. Fujiwara ; K. Minamitani |
| A Recommendation System for Software Function Discovery / N. Ohsugi ; A. Monden ; K-I. Matsumoto |
| Lessons Learned in Framework-Based Software Process Improvement / P. Jalote |
| Software Design and Architecture / Session 4A： |
| e-Science Experiences: Software Engineering Practice and the EU DataGrid / L. Momtahan ; A. Martin |
| On Aspect-Oriented Software Architecture: It Implies a Process as Well as a Product / M. Noro ; A. Kumazaki |
| An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture / H. Choi ; K. Yeom |
| Formal Methods (Components) / Session 4B： |
| Contextual Matching of Software Library Components / C.J. Fidge |
| Computer-Aided Programming Using Formally Specified Design Templates / D. Hemer |
| Finite-State Modeling in Software Design: Some Fundamental Techniques / S. Kundu |
| Software Maintenance / Session 4C： |
| On Detection of Gapped Code Clones Using Gap Locations / Y. Ueda ; T. Kamiya ; S. Kusumoto ; K. Inoue |
| An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs / S-U. Jeon ; J-S. Lee ; D-H. Bae |
| Quality Driven Transformation Compositions for Object Oriented Migration / Y. Zou ; K. Kontogiannis |
| Software Process / Session 5A： |
| Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small / Y. Yang |
| The Real World Software Process / J.M. Hogan ; G. Smith ; R. Thomas |
| A Meta Model Approach Using UML for Task Assignment Policy in Software Process / S. Lee ; J. Shim ; C. Wu |
| Formal Methods (Design) / Session 5B： |
| Feature Logics and Refinement / M. Aiguier ; C. Gaston ; P. Le Gall |
| Formal Synthesis and Code Generation of Real-Time Embedded Software Using Time-Extended Quasi-Static Scheduling / P-A. Hsiung ; T-Y. Lee ; F-S. Su |
| Specifying and Reasoning about Generic Architecture in TCOZ / J. Sun ; J.S. Dong |
| Server-Based Applications / Session 5C： |
| XML Web Services Automation: A Software Engineering Approach / N. Nicoloudis ; C. Mingins |
| Defining Attribute Templates for Descriptions of Distributed Services / C. Tapabut ; T. Senivongse ; K. Futatsugi |
| A Predictive Performance Model to Evaluate the Contention Cost in Application Servers |
| Panel |
| Software Engineering Professionalism: Is There a Global Dimension to This? |
| Review and Testing / Session 6A： |
| Deriving Verification Conditions and Program Assertions to Support Software Inspection / D. Powell |
| An Interaction Testing Technique between Hardware and Software in Embedded System / A. Sung ; B. Choi |
| Data Coverage Testing / P. Netisopakul ; L.J. White ; J. Morris |
| UML / Session 6B： |
| Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML |
| Design of Rules for Transforming UML Sequence Diagrams into Java Code / M. Thongmak ; P. Muenchaisri |
| Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B / H. Ledang ; J. Souquieres |
| Measurement / Session 6C： |
| The Java Metric Report--An Extensible Tool for OO Software Analysis / J. Cahill |
| A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented versus Conventional Procedural Programming Techniques and Languages / A. Ahmad ; M. Talha |
| Issues in the Construction of New Measures within the Discipline of Open Systems / J. Leaney ; D. Rowe ; T. O'Neill |
| Has Twenty-Five Years of Empirical Software Engineering Made a Difference? / R. Jeffery ; L. Scott |
| Documentation / Session 7A： |
| Theme-Based Literate Programming / A. Kacofegitis ; N. Churcher |
| Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice / S. Sulaiman ; N.B. Idris ; S. Sahibuddin |
| Project Management / Session 7B： |
| A Communication Workload Estimation Model Based on Relationships among Shared Works for Software Development Projects / N. Hanakawa ; K. Torii |
| Using Process Simulation to Compare Scheduling Strategies for Software Projects / F. Padberg |
| Knowledge-Based Approaches / Session 7C： |
| An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources / C. Zhang ; C. Li ; Z. Zhang |
| A Process-Centred Experience Respository for a Small Software Organisation / L. Carvalho |
| Author Index |
| Conference Chairs' Message |
| Program Chairs' Message |
| Conference Organizers |
図書
