Default Cover Image

Proceedings 2001 Australian Software Engineering Conference

Aug. 27 2001 to Aug. 28 2001

Canberra, ACT, Australia

Table of Contents

Foreword from the General ChairFreely available from IEEE.pp. ix
Foreword from the Program Co-ChairsFreely available from IEEE.pp. x
Conference OrganisationFull-text access may be available. Sign in or learn about subscription options.pp. xi
Session 1A . Testing 1
Increase Software Trustability with Self-Testable Classes in JavaFull-text access may be available. Sign in or learn about subscription options.pp. 0003
Session 1A . Testing 1
On the Effectiveness of Mutation Analysis as a Black Box Testing TechniqueFull-text access may be available. Sign in or learn about subscription options.pp. 0012
Session 1A . Testing 1
On the Relationships of Faults for Boolean Specification Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 0021
Session 1B . Usability
Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0031
Session 1B . Usability
Assessing Usability from Formal User-Interface DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 0040
Session 1B . Usability
Extending UML Use Case Modelling to Support Graphical User Interface DesignFull-text access may be available. Sign in or learn about subscription options.pp. 0048
Session 2A . Testing 2
Testing Java Monitors through Deterministic ExecutionFull-text access may be available. Sign in or learn about subscription options.pp. 0061
Session 2A . Testing 2
Applying Static Analysis to Large-Scale, Multi-Threaded Java ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 0068
Session 2A . Testing 2
Animation Can Show Only the Presence of Errors, Never Their AbsenceFull-text access may be available. Sign in or learn about subscription options.pp. 0076
Session 2B . SE Knowledge
Extending the UML for Designing Jack AgentsFull-text access may be available. Sign in or learn about subscription options.pp. 0089
Session 2B . SE Knowledge
Evaluation of Virtual World SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0098
Session 2B . SE Knowledge
Capturing Implicit Software Engineering KnowledgeFull-text access may be available. Sign in or learn about subscription options.pp. 0108
Session 3A . Components
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 0117
Session 3A . Components
Developing Software Components with the UML, Enterprise Java Beans and AspectsFull-text access may be available. Sign in or learn about subscription options.pp. 0127
Session 3A . Components
Component Adaptation for Web ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 0137
Session 3B . Inspection
An Agent-Based Approach to Computer Assisted Code InspectionsFull-text access may be available. Sign in or learn about subscription options.pp. 0147
Session 3B . Inspection
Knowledge Mediation in Software Quality EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 0153
Session 3B . Inspection
Individual reviewer contribution to the effectiveness of software inspection teamsFull-text access may be available. Sign in or learn about subscription options.pp. 160-168
Session 4A . Process
Integration vs. Development : An Engineering Approach to Building Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0171
Session 4A . Process
Practical Software Process Improvement-The IMPACT ProjectFull-text access may be available. Sign in or learn about subscription options.pp. 0182
Session 4A . Process
A Pilot Study in Effort Estimation for the Generalization of Object-Oriented Components for ReuseFull-text access may be available. Sign in or learn about subscription options.pp. 0190
Session 4B . Formal Methods
An Environment for Specifying and Verifying Security PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 0203
Session 4B . Formal Methods
Formalization of UML Statechart Diagrams in the π-CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 0213
Session 4B . Formal Methods
Idioms for ?-ChartsFull-text access may be available. Sign in or learn about subscription options.pp. 0224
Session 5A . Miscellaneous
Specification-Based Retrieval Strategies for Module ReuseFull-text access may be available. Sign in or learn about subscription options.pp. 0235
Session 5A . Miscellaneous
Visualisation of RefinementsFull-text access may be available. Sign in or learn about subscription options.pp. 0244
Session 5B . Industrial Experience
CORONET: An Australian Software Engineering Experience in Collaborative Research with the European CommunityFull-text access may be available. Sign in or learn about subscription options.pp. 0255
Session 5B . Industrial Experience
Process Improvement in Four Small Software CompaniesFull-text access may be available. Sign in or learn about subscription options.pp. 0262
Session 6A . Tools
A Framework for Subsystem-Based Configuration ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 0275
Session 6A . Tools
Constraints in CASE Tools: Results from Curiosity Driven ResearchFull-text access may be available. Sign in or learn about subscription options.pp. 0285
Session 6B . Design
Interpreting Mayall's 'Principles in Design'Full-text access may be available. Sign in or learn about subscription options.pp. 0297
Session 6B . Design
Index of AuthorsFreely available from IEEE.pp. 0307
Showing 36 out of 36