The Community for Technology Leaders
Software Engineering Conference, Australian (1996)
Melbourne, AUSTRALIA
July 14, 1996 to July 18, 1996
ISBN: 0-8186-7635-3
TABLE OF CONTENTS

Foreword (PDF)

pp. viii

Committees (PDF)

pp. ix
Session 1: Keynote Address I
Session 2: Formal Methods

An Algebraic Semantics for Object-Oriented Behaviour Modeling (Abstract)

J.W.G.M. Hubbers , University of Nijmegen Toernooiveld, The Netherlands
A.H.M. ter Hofstede , University of Queensland, Australia
pp. 4

A Tool for Practical Reasoning about State Machine Designs (Abstract)

M. A. Ozols , Defence Science and Technology Organisation, Australia
A. Cant , Defence Science and Technology Organisation, Australia
K. A. Eastaughffe , Defence Science and Technology Organisation, Australia
pp. 16
Session 3: Programming/Tools

Automatic Analysis Of Functional Program Style (Abstract)

Greg Michaelson , Heriot-Watt University, Scotland
pp. 38

Software Visualisation in a Generic Development Environment (Abstract)

L. Stewart-Zerba , University of Queensland, Australia
J. Welsh , University of Queensland, Australia
W. Allison , University of Queensland, Australia
T. Jones , University of Queensland, Australia
G. Watson , University of Queensland, Australia
D. Carrington , University of Queensland, Australia
pp. 47
Session 4: Panel
Session 5: Object-Orientation

Teaching Object Orientation: Patterns and Reuse (Abstract)

N.A.B. Gray , University of Wollongong, Australia
pp. 72

Towards Analysing a Class of Object Petri Nets (Abstract)

Heinz W. Schmidt , Monash University, Australia
Sea Ling , Monash University, Australia
pp. 81
Session 6: Panel
Session 7: Education

Enhancing Project-Based Learning: Variations on Mentoring (Abstract)

Cameron Schmidt , University of Melbourne
Philip Dart , University of Melbourne
Lorraine Johnston , University of Melbourne
pp. 112
Session 8: Keynote Address II
Session 9: Keynote Address III
Session 10: Maintenance

An Integrated Database Reengineering Architecture - A Generic Approach (Abstract)

Wie Ming Lim , University of Queensland
John Harrison , University of Queensland
pp. 146

More on the E-measure of Subdomain Testing Strategies (Abstract)

T. Y. Chen , University of Melbourne
Y. T. Yu , University of Melbourne
pp. 167
Session 11: Architecture/Process

Distributing the Software Process (Abstract)

I. Gorton , Sch. of Comput. Sci., Univ. of Technol., Sydney, NSW, Australia
I.T. Hawryszkiewycz , Sch. of Comput. Sci., Univ. of Technol., Sydney, NSW, Australia
pp. 176

An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control Systems (Abstract)

J. Baragry , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 192

Comparing Inspection Strategies for Software Requirement Specifications (Abstract)

Benjamin Cheng , University of New South Wales, Australia
Ross Jeffery , University of New South Wales, Australia
pp. 203

Author Index (PDF)

pp. 212
80 ms
(Ver 3.3 (11022016))