Friday

0900 - Keynote Presentation: John Hosking (U. Auckland)

1000 - Coffee/Tea

1030 - Presentations

• Defining Services: A Project Lesson A. Dingley (Object Consulting)
• Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications J. Bhuiyan, S. Nepal
• A Runtime Monitoring and Validation Framework for Web Service Interactions Z. Li, Y. Jin, J. Han

• Formal Refinement of Informal GUI Design Artefacts J. Bowen, S. Reeves
• Derivation of Java Monitors B. Dongol
• Validating ORA-SS Data Models Using Alloy L. Wang, G. Dobbie, J. Sun, L. Groves

1200 - Feature Presentation (Borland)

1230 - Lunch

1330 - Presentations

• SwinDeW-S: Extending P2P Workflow Systems for Adaptive Composite Web Services J. Shen, J. Yan, Y. Yang
• A Service-Oriented Architecture for Software Process Technology T. Helland, J. Grundy, J. Hosking
• The Transparent Adaptation Approach to the Development of Awareness Mechanisms for Groupware M. H. Tran, Y. Yang, G. K. Raikundalia

• Factors Affecting Software Testing Time Schedule O. Taipale, K. Smolander, H. K�lvi�inen
• Efficient and Effective Random Testing Using the Voronoi Diagram T. Y. Chen, R. Merkel
• Tailoring of Black-Box Testing Methods T. Murnane, K. Reed, R. Hall

1500 - Coffee/Tea

1530 - Presentations

• Reviews, Inspections, and Walkthroughs: One Size Does Not Fit All (Template) A. Gupta, S. Vajjhala (Intel)
• Using Dependence Graphs to Assist Manual and Automated Object Oriented Software Inspections D. Cooper, M. W. Chan, M. Harding, G. Mehra, P. Woodward

• Over-the-air Deployment of Applications in Multi-platform Environments T. Fjellheim
• Software Configuration Management Successes and Problems from Real Life Doug Jay (BAE Systems)

1630 - Closing Address