[an error occurred while processing this directive]

TOOLS USA 2002

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]