• S
  • SMT
  • 2000
  • International Conference on software Methods and Tools (SMT'00)
Advanced Search 
International Conference on software Methods and Tools (SMT'00)
Wollongong, Australia
November 06-November 09
ISBN: 0-7695-0903-7
Table of Contents
Introduction
Invited Speakers
George Kelly Flanagin, Capital One Financial Services, Richmond, Virginia, USA
Susan R. Jacobs, Capital One Financial Services, Richmond, Virginia, USA
pp. 13
Technical Papers
John Grundy, Department of Computer Science, University of Auckland
John Hosking, Department of Computer Science, University of Auckland
pp. 31
Paul Taylor, Department of Computer Science and Software Engineering, Monash University, Caulfield, Melbourne.
pp. 41
Neil Clayton, Victoria University of Wellington Wellington, New Zealand
Robert Biddle, Victoria University of Wellington Wellington, New Zealand
Ewan Tempero, Victoria University of Wellington Wellington, New Zealand
pp. 51
Component Technology
Jun Han, Monash University, McMahons Road Frankston, Vie 3 199, Australia
Yuliang Zheng, Monash University, McMahons Road Frankston, Vie 3 199, Australia
pp. 61
Charles Herring, Department of Computer Science and Electrical Engineering The University of Queensland
Simon Kaplan, Department of Computer Science and Electrical Engineering The University of Queensland
pp. 67
Methods and Process
Paul Taylor, Department of Computer Science and Software Engineering, Monash University, Caulfield, Melbourne.
pp. 107
Verification and Testing
Graham Davis, PlanIT Test Management Solutions Pty. Ltd.
pp. 119
Tracy Hall, *University of Hertfordshire, UK
David Wilson, *University of Hertfordshire, UK
Nathan Baddoo, *University of Hertfordshire, UK
pp. 127
Gary A Bundell, The University of Western Australia, Nedlands WA 6907, Australia
Gareth Lee, The University of Western Australia, Nedlands WA 6907, Australia
John Morris, The University of Western Australia, Nedlands WA 6907, Australia
Kris Park, The University of Western Australia, Nedlands WA 6907, Australia
pp. 137
Distributed Technology
Domenico Cotroneo, Universitd di Napoli Federico II
Stefano Russo, Universitd di Napoli Federico II
Carlo Savy, Universitd di Napoli Federico II
pp. 167
Tools 1
David Finnigan, Institute of Information Sciences and Technology
Elizabeth A. Kemp, Institute of Information Sciences and Technology
Daniela Mehandjiska, Institute of Information Sciences and Technology
pp. 189
Workflow
LucinCia Heloisa Thorn, Federal University at Rio Grande do Sul--UFRGS
Neiva Scheidt, Santa Cruz do Sul University
Kurt Werner Molz, Santa Cruz do Sul University
pp. 223
Tools 2
Dr Stephen Crawley, CRC for Enterprise Distributed Systems Technology (DSTC)
pp. 233
C. J. Harrison, Department of Computation, UMIST, A460 lQD, UK
Majid Naeem, Department of Computation, UMIST, A460 lQD, UK
pp. 241
Workshops/Tutorials
Carol Prior, Maestro BPE Pty Limited, Australia
pp. 251
Anna Liu, CSIRO Mathematical and Information Sciences
Ian Gorton, CSIRO Mathematical and Information Sciences
pp. 255
Susan r. Jacobs, Capital One Financial Services, Richmond, Virginia
George Flanagin, Capital One Financial Services, Richmond, Virginia
pp. 261
John Smith, Rational software Pty Ltd, Australia
pp. 263
OPEN-ing Up the UML (Abstract)
Brian Henderson-Sellers, University of Technology, Sydney
pp. 271
Granham Davis, PlanIT Test Management Solution Pty. Ltd, Australia
pp. 277
Author Index
Usage of this product signifies your acceptance of the Terms of Use.