[an error occurred while processing this directive]
Technical Paper Sessions | Program Committee
Date: Monday July 29
Time: 8:00 - 10:30am
Plosch, R., Evaluation of Assertion Support for the Programming Language Java
Johannes Kepler University, Austria
Rausch, A., "Design by Contract" + "Componentware" = "Design by Signed Contract"
Technische Universität München, Germany
Nunes, I., Design by Contract Using Meta-assertions
Lisbon University, Portugal
Krall, A., Lackner., M, Puntigam, F., Supporting Design by Contract in Java
Inst. f. Computersprachen, Austria
Date: Tuesday July 30
Time: 8:00 - 10:30am
Paige, R., Ostroff, J., Lancaric, J., Kaminskaya, Liliya., BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
York University, Canada & AMDocs Inc, Canada
De Backer, M., Dedene, G., Snoek, M., An encapsulated Eiffel education environment, based on WebServices
Katholieke Universiteit Leuven, University of Amsterdam, Vlerick Leuven Gent Management School
Periorellis, P., Dobson, J., Organisational Failures in Dependable Collaborative Enterprise Systems
University of Newcastle, UK
Compton, R. Walker, R., A Run-time System for SCOOP
CSIRO and Australian National University, Australia
Date: Wednesday July 31
Time: 8:00 - 10:30am
Patel, D., Patel, S., Schleifer, P., Object Oriented Extension to Time Series Model
South Bank University, UK
Soundarajan, N., Tyler, B., Testing Polymorphic Behaviour
Ohio State University, USA
Hallstrom, J., Soundarajan, N., Incremental Development using Object Oriented Frameworks: A Case Study
Ohio State University, USA
Mili, H., Mcheick, H., Sadou, S., CORBA Views: Distributing objects that support several functional aspects
Université du Québec à Montréal, Canada
Alagar, V S., Periyasamy, K., Secure Business Transaction Specification
Concordia University, Canada & University of Wisconsin-La Crosse, USA
TOOLS USA 2002 Program Committee | |
Christine Mingins (Chair) | Monash University, Australia |
Martin Dick | Monash University, Australia |
Sea Ling | Monash University, Australia |
Richard Mitchell | InferData Corp. US & Europe |
James McKim | Rensselaer at Hartford, USA |
James Noble | Victoria University, New Zealand |
Noel Plouzeau | Irisa/Ifsic, France |
Ralf Reussner | Distributed Systems Technology CRC, Australia |
Sita Ramakrishnan | Monash University, Australia |
Paul Taylor | Tier International, Australia |
Richard Walker | Australian National University, Australia |
Olivier Zendra | INRIA Lorraine - LORIA, France |
The following reviewers assisted the program committee: | |
Benoît Baudry | Irisa/Ifsic, France |
Karine Macedo De Amorim | Irisa/Ifsic, France |
Jacques Malenfant | Irisa/Ifsic, France |
Margot Schumacher | Monash University, Australia |
Nam Tran | Monash University, Australia |