Program/Events

Keynote Presentations

"Survivability Analysis of Networked Systems"
Professor Jeannette M. Wing, Carnegie Mellon University
 

"Building Formal Models for Software Requirements"
Professor Axel van Lamsweerde, Catholic University of Louvain
 

"Experiences in Systems Evolution: Practical Aspects and Cautionary Tales"
Gene F. Hoffnagle, IBM
 

Tutorials and Workshops

LT33 is in S17, Level 2
LT34 is in S17, Level 3
EC is in S17, Level 5

Tuesday 5th December 2000:
 

	TRACK A
0900-1230, LT33	Tutorial on Advanced Object-Oriented Modeling  Brian Henderson-Sellers
1230-1330	Lunch
	TRACK B
1330-1700, LT33	Tutorial on Beyond RUP Brian Henderson-Sellers
	TRACK C
1330-1700, EC	Workshop on Two-Stage Derivation of System Architectures  Fergus O'Brien
	TRACK D
0900-1700, LT34	Workshop on The Future of Software Engineering Paul Layzell

Technical Paper Sessions

Wednesday 6th Dec 2000:
 

8:00 -   9:00, LT34	Registration
9:00  - 9:30, LT34	Conference Opening
9:30  - 10:30, LT34	Keynote I "Survivability Analysis of Networked Systems" (chair: Jin Song Dong)
	Professor Jeannette M. Wing, Carnegie Mellon University
10:30 - 11:00	Tea Break
11:00 - 12:30, LT34	Session 1A: Real-Time (chair:Jifeng He)
	Co-development of Real-Time Systems and Their Environments Kyo Chul Kang, Gerard J. Kim Ji Y. Lee Hye J. Kim Pohang University of Science and Technology, Korea Reasoning About Real-Time Programs Using Idle-Invariant Assertions Ian Hayes, The University of Queensland, Australia Pareto-based Soft Real-Time Task Scheduling in Multiprocessor Systems Jaewon Oh,Seoul National University, Korea
11:00 - 12:30, LT33	Session 1B: Software Engineering:Education & Practice  I (chair: Martin Purvis)
	Transatlantic Project Courses in a University Environment Bernd Bruegge, Allen H. Dutoit, Rafael Kobylinski, Guenter Teubner TU Muenchen, Germany Supporting Collaboration in Distributed Software Engineering Teams Paul Layzell, Pearl Brereton, Andrew French UMIST, UK Bloodshot Eyes: Workload issues in Computer Science Project Courses Judy Brown, Victoria University of Wellington, New Zealand
12:30-13:30	Lunch Break
13:30 - 15:00, LT34	Session 2A: Formal Methods I (chair: Lindsay Groves)
	The LAST Proyect: Development of a Formal Method for IS-Specification and of a CASE-Tool for IS-Design Jesus Almendros-Jimenez, Luis Gonzalez Universidad de Almeria, Universidad de La Rioja. Spain A Process Logic for Distributed System Synthesis Yoshinao Isobe,Kazuhit Ohmaki Electrotechnical Laboratory, Japan Unifying theories of healthiness condition Jifeng He,  C.A.R. Hoare United Nations University, Macau
13:30 - 15:00, LT33	Session 2B: Software Reliability (chair: Tetsuo Tamai)
	Verification of a Wireless ATM Natalia Sidorova, Martin Steffen Eindhoven University of Technology, The Netherlands Monitoring Facilities in Languages Supporting Development of Concurrent Self-Measurement Programs Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng Kyushu University, JAPAN Evaluation of Inspectors' Defect Estimation Accuracy for a Requirements Document after Individual Inspection Stefan Biffl, Thomas Grechenig, Monika Kohle Technische University Wien, Austria
15:00 - 15:30	Tea Break
15:30 - 17:00, LT34	Session 3A: Analysis/Design I (chair: Soo Young Park)
	The concept of path-closed subsets and its use in software functional design Sukhamay Kundu, Louisiana State University, USA Pragmatic Data Modelling and Design for End Users Clare Churcher, McLennan, McKinnon Lincoln University, New Zealand Requirements Engineering and Strategic Decision Exploration: An area for Interdisciplinary Research Nikolay Mehandjiev, Craig Gaskell UMIST, UK
15:30 - 17:00, LT33	Session 3B: Panel "Formalism in Software Engineering Education and Practice"                      Panel Members: Ian Hayes (organiser), J. He, K.K.Lau, J. Wing and T. Tamai

Thursday 7th Dec 2000:
 

8:30-9:00, LT34	Registration
9:00 - 10:00, LT34	Keynote II "Building Formal Models for Software Requirements" (chair: Jin Song Dong)
	Professor Axel van Lamsweerde, Catholic University of Louvain
10:00 -10:30	Tea Break
10:30 -12:30, LT34	Session 4A: Testing/Verification (chair: Shaoying Liu)
	Analysis of the Impact of Reading Technique and Inspector Capability on Individual Inspection Performance Stefan Biffl, Technische University Wien, Austria Deriving Test Cases Using Class Vectors Wai Wong, Karl Leung Hong Kong Baptist University,  Hong Kong Institute of Vocational Education, Hong Kong Checking Compositions of UML Sequence Diagrams for Timing Inconsistency Xuandong Li, Johan Lilius Nanjing University, P.R. China Consistency Checks for UML Padmanabhan (Paddy) Krishnan, University of Canterbury, New Zeland
10:30 -12:30, LT33	Session 4B: Component Based Development (chair: Mikio Aoyama)
	The Support Tool for Highly Reliable Component-Based Software Development Michihiro Matsumoto, Kokichi Futatsugi JAIST, Japan Formal Specification of Catalysis Frameworks Kung-Kiu Lau, J. K. Filipe, M. Ornaghi, K. Taguchi, H. Yatsu, Alan Wills University of Manchester, UK A distributed component architecture for a large telecommunication application Lars Lundberg, Henrik Hermansson, Mattias Johansson University of Karlskrona/Ronneby Sweden Accessing software component documentation during design: An observational study David Budgen, Amnart Pohthong Keele University, UK
10:30 -12:30, EC	Session 4C: Requirements Engineering (chair: Karl Leung)
	A Framework of Requirements Tracing using UML Toshihiko Tsumaki and Yoshitomi Morisawa  Nihon Unisys, Ltd. Japan Service-Based Software: The Future for Flexible Software Paul Layzell, K. Bennett, D. Budgen, P. Brereton, L. Macaulay UMIST, UK Translating Descriptions of a Viewpoint among Different Representations Nigel Stanger, University of Otago, New Zealand Fuzzy Concepts and Formal Methods: Some Illustrative examples Chris Matthews, Paul Swatman La Trobe University, Australia
12:30 -13:30	Lunch
13:30 -15:00, LT34	Session 5A: UML/Object-Z/Z (chair: Motoshi Saeki)
	An Integrated Framework with UML and Object-Z for Developing a Precise Specification Soon-Kyeong Kim, David Carrington The University of Queensland, Australia A Semantic Model of A Small Typed Functional Language using Object-Z Woon Kiong Tan, DSO National Laboratories, Singapore Microcharts and Z: examples and extensions Steve Reeves, Greg Reeve University of Waikato, New Zealand
13:30 - 15:00, LT33	Session 5B: Software Maintenance (chair: Stan Jarzerbek)
	Fusing Ambiguous Domain Knowledge Slices in a Reverse Engineering Process Yang Li, Hongji Yang De Montfort University, UK A Formal Approach to Program Modification Lindsay Groves, Victoria University of Wellington, New Zealand A Comparative Evaluation of Techniques for Syntactic Level Source code Analysis Anthony  Cox, Charles Clarke University of Waterloo, Canada
13:30 - 15:00, EC	Session 5C: Architecture Framework I (chair: Brian Henderson-Sellers)
	A Case Study of Horizontal Reuse in a Project-Driven Organisation Henrik Berbak Christensen, Henrik Ren University of Aarhus, Denmark PMF/GRIP: A Framework for the Development and Implementation of Reuse Models Volker Schroeter, Massey University, New Zealand An Adaptive Distributed Workflow System Framework Martin Purvis, Maryam Purvis, Selena Lemalu University of Otago, New Zealand
15:00 - 15:30	Tea Break
15:30 - 17:00, LT34	Session 6A: Analysis/Design II (chair: Wai Wong)
	Goal Based Agent-Oriented Software Modeling Kenha Park, Jintae Kim, Sooyong Park Sogang University, Korea Extending Statecharts with ad lib and Multi-thread Features Karl Leung,  Hong Kong Institute of Vocational Education, Hong Kong
15:30 - 17:00, LT33	Session 6B: Architecture Framework II (chair: Vojislav Misic)
	Enterprise Modeling using class and instance models Rakesh Agarwal, Giorgio Bruno, Marco Torchiano Infosys Technologies Ltd., India Component-Based Application Development on Architecture of a Model, UI and Components Takeshi CHUSHO, Hisashi ISHIGURE, Naoyuki KONDA, Tomoaki IWATA Meiji University, Japan
15:30 - 17:00, EC	Session 6C: Component Based Development (chair: Kung-Kiu Lau)
	Tailoring Test Process by using the Component-Based Development Paradigm and the XML technology Byoungju Choi, Jooyoung Seo Ewha Womans University, Korea Reusable Integrated Components of Inter-related Patterns for Software Development Janaki Ram D, Sreekanth M Indian Institute of Technology, India Component-Based Software Engineering: Technologies, Development Frameworks, and Quality Assurance Michael Lyu, The Chinese University of Hong Kong, HK
19:00 - 22:00	Conference Dinner at Conference Hotel

Friday 8th Dec 2000:
 

8:30 - 9:00, LT34	Registration
9:00  - 10:00, LT34	Keynote III "Experiences in Systems Evolution: Practical Aspects and Cautionary Tales" (chair: Danny Poo)
	Gene F. Hoffnagle, IBM
10:00 - 10:30	Tea Break
10:30 - 12:30, LT34	Session 7A: Software Engineering :Education & Practice II (chair: Martin Purvis)
	Selecting an Object-Oriented Process for Student Analysts Gay Costain, The University of Auckland, New Zealand An education support system of information system design & implementation Atsuo HAZEYAMA, Keiji Osada, Youzou Miyadera, Setsuo Yokoyama Tokyo Gakugei University, Japan Implementation of a Software Engineering Course for Computer Science Students Ivica Crnkovic, Magnus Larsson, Frank Luders Malardalen University, Sweden A preliminary comparison of computer mediated training tools John Paynter, Jenny Ong, Lorelle Frazer University of Auckland,  New Zealand
10:30 - 12:30, LT33	Session 7B: Formal Methods II (chair: Martin Henz)
	Behavioral Specification of GOF Design Patterns with LOTOS Motoshi Saeki, Tokyo Institute of Technology, Japan Combining Case-based and Model-based Reasoning: A Formal Specification Chris George, Li Shuguang, Jiang Qing UNU/IIST Macau A GUI and Testing Tool for SOFL Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto Hosei University, Japan
12:30 - 13:30	Lunch
13:30 - 15:00, LT34	Session 8A: Software Process (chair: Karl Leung)
	Third generation OO processes: a critique of RUP and OPEN from a project management perspective Brian Henderson-Selleres, Richard Due', Ian Graham, Graham Collins University of Technology, Sydney. Australia Creating a process for transitioning to object technology Brian Henderson-Sellers, Magdy Serour University of Technology, Sydney, Australia A Formal Approach to Risk in Software Engineering Geoffrey Roy, Terence L. Woodings Murdoch University, Australia
13:30 - 15:0,  LT33	Session 8B: Software Metrics (chair: Danny Poo)
	Virtual Worlds for Web Site Visualisation Neville Churcher, Danita Hartley, Greg Albertson University of Canterbury, New Zealand Predicting Class Libraries Interface Evolution: an investigation into machine learning approaches Houari Sahraoui, M. Boukadoum, H. Lounis, F. Etheve University of Montreal, Canada Coherence Equals Cohesion -- Or Does It? Vojislav Misic, The Hong Kong University of Science and Technology, HK
15:00 - 15:30	Tea Break
15:30 - 17:00, LT34	Session 9A: Distributed Systems (chair: Eng Hwee Chionh)
	Visualising the Influence of Data Structure Choice on the Performance of a Distributed System Clare Churcher, Alan McKinnon, Roger Jarquin Lincoln University, New Zealand Platforms for Agent-Oriented Software Engineering Martin Purvis, Marius Nowostawski, Geoff Bush, Stephen Cranefield University of Otago, New Zealand A Study on Static Analysis in Network of Synchronizing FSMs Jessica Chen, University of Windsor, Canada
15:30 - 17:00, LT33	Session 9B: Panel " Web-Based Software Engineering?"  Chair: Karl Reed
17:00 - 17:30	Closing Ceremony

Panel Discussions

Wed 6th December, 1530-1700 at LT33
Session 3B: Panel "Formalism in Software Engineering Education and Practice"
                     Panel Members: Ian Hayes (organiser), J. Wing and T. Tamai

Fri 8th December, 1530-1700 at LT33
Session 3B: Panel "Web-Based Software Engineering?"
                     Panel Chair: Karl Reed