[an error occurred while processing this directive]


Technical Paper Sessions | Program Committee

Technical Paper Sessions

Stream 1 - Contracts and Assertions

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

Stream 2 - Case Tools, Environments and Systems

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

Stream 3 - Specification, Modeling, Testing

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

Program Committee

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

[an error occurred while processing this directive]