1. Home
  2. Proceedings
  3. ASWEC
  4. ASWEC 1996
Default Cover Image

Software Engineering Conference, Australian

July 14 1996 to July 18 1996

Melbourne, AUSTRALIA

ISBN: 0-8186-7635-3

Table of Contents

Do formal methods really work?Full-text access may be available. Sign in or learn about subscription options.pp. 69,70
by J. Staples
ForewordFreely available from IEEE.pp. viii
CommitteesFreely available from IEEE.pp. ix
Session 1: Keynote Address I
Verification, Validation and the Future of Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 2
by John Staples
Session 2: Formal Methods
An Algebraic Semantics for Object-Oriented Behaviour ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 4
by J.W.G.M. Hubbers, A.H.M. ter Hofstede
Session 2: Formal Methods
A Tool for Practical Reasoning about State Machine DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 16
by A. Cant, K. A. Eastaughffe, M. A. Ozols
Proceedings of 1996 Australian Software Engineering ConferenceFreely available from IEEE.pp. i-i
Session 2: Formal Methods
An Industrial-Strength Method For The Construction Of Formally Verified SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 27
by Peter A. Lindsay, David Hemer
Session 3: Programming/Tools
Automatic Analysis Of Functional Program StyleFull-text access may be available. Sign in or learn about subscription options.pp. 38
by Greg Michaelson
Session 3: Programming/Tools
Software Visualisation in a Generic Development EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 47
by W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, G. Watson, J. Welsh
Session 3: Programming/Tools
A Layered Operational Model for Describing Inter-tool Communication in Tool Integration FrameworksFull-text access may be available. Sign in or learn about subscription options.pp. 55
by Jennifer G. Harvey, Chris D. Marlin
Session 4: Panel
Do Formal Methods Really Work?Full-text access may be available. Sign in or learn about subscription options.pp. 66
Session 5: Object-Orientation
Teaching Object Orientation: Patterns and ReuseFull-text access may be available. Sign in or learn about subscription options.pp. 72
by N.A.B. Gray
Session 5: Object-Orientation
Towards Analysing a Class of Object Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 81
by Sea Ling, Heinz W. Schmidt
Session 5: Object-Orientation
Classification-Hierarchy Table: A Methodology for Constructing the Classification TreeFull-text access may be available. Sign in or learn about subscription options.pp. 93
by T.Y. Chen, P.L. Poon
Session 6: Panel
Does Object-Orientation Really Work?Full-text access may be available. Sign in or learn about subscription options.pp. 106
Session 7: Education
Enhancing Project-Based Learning: Variations on MentoringFull-text access may be available. Sign in or learn about subscription options.pp. 112
by Philip Dart, Lorraine Johnston, Cameron Schmidt
Session 7: Education
An Application Of Quantitative Techniques To The Question Of What Contributes To A Successful Software Development ProjectFull-text access may be available. Sign in or learn about subscription options.pp. 118
by Ken Mullin, Stuart Hope
Session 7: Education
Analysis of Software System Requirements ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 131
by Elizabeth Haywood, Philip Dart
Session 8: Keynote Address II
Industry-University Partnerships: The Wave of the Future?Full-text access may be available. Sign in or learn about subscription options.pp. 140
by Nancy R. Mead
Session 9: Keynote Address III
A System for Evaluating the Congruence of Software Process ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Nazim H. Madhavji
Session 10: Maintenance
An Integrated Database Reengineering Architecture - A Generic ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 146
by Wie Ming Lim, John Harrison
Session 10: Maintenance
The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 155
by Jian Chen
Session 10: Maintenance
More on the E-measure of Subdomain Testing StrategiesFull-text access may be available. Sign in or learn about subscription options.pp. 167
by T. Y. Chen, Y. T. Yu
Session 11: Architecture/Process
Distributing the Software ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 176
by I.T. Hawryszkiewycz, I. Gorton
Session 11: Architecture/Process
Consistency Issues in Partially Bound Dynamically Composed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 183
by Bradley R. Schmerl, Chris D. Marlin
Session 11: Architecture/Process
An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 192
by J. Baragry
Session 11: Architecture/Process
Comparing Inspection Strategies for Software Requirement SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 203
by Benjamin Cheng, Ross Jeffery
Session 11: Architecture/Process
Author IndexFreely available from IEEE.pp. 212
Showing 29 out of 29