13. ASWEC 2001: Canberra, ACT, Australia

@proceedings{DBLP:conf/aswec/2001,
  title     = {13th Australian Software Engineering Conference (ASWEC 2001),
               26-28 August 2001, Canberra, Australia},
  booktitle = {Australian Software Engineering Conference},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1254-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Testing 1

• Daniel Deveaux, Patrice Frison, Jean-Marc Jézéquel:
  Increase Software Trustability with Self-Testable Classes in Java. 3-11
  
• Tafline Murnane, Karl Reed:
  On the Effectiveness of Mutation Analysis as a Black Box Testing Technique. 12-20
  
• Man Fai Lau, Yuen-Tak Yu:
  On the Relationships of Faults for Boolean Specification Based Testing. 21-30
  

Usability

• Michael Mahemoff, Andrew Hussey, Lorraine Johnston:
  Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems. 31-39
  
• Andrew Hussey, Ian MacColl, David A. Carrington:
  Assessing Usability from Formal User-Interface Designs. 40-47
  
• Chris Phillips, Elizabeth A. Kemp, Sai Mei Kek:
  Extending UML Use Case Modelling to Support Graphical User Interface Design. 48-60
  

Testing 2

• Craig Harvey, Paul A. Strooper:
  Testing Java Monitors through Deterministic Execution. 61-67
  
• Cyrille Artho, Armin Biere:
  Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. 68-75
  
• Tim Miller, Paul A. Strooper:
  Animation Can Show Only the Presence of Errors, Never Their Absence. 76-88
  

SE Knowledge

• Michael Papasimeon, Clinton Heinze:
  Extending the UML for Designing Jack Agents. 89-97
  
• Kevin Pulo, Michael E. Houle:
  Evaluation of Virtual World Systems. 98-107
  
• Lesley Pek Wee Land, Aybüke Aurum, Meliha Handzic:
  Capturing Implicit Software Engineering Knowledge. 108-116
  

Components

• Khaled M. Khan, Jun Han, Yuliang Zheng:
  A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. 117-126
  
• John C. Grundy, Rakesh Patel:
  Developing Software Components with the UML, Enterprise Java Beans and Aspects. 127-136
  
• Glenn Smith:
  Component Adaptation for Web Services. 137-146
  

Inspection

• Kevin Chan:
  An Agent-Based Approach to Computer Assisted Code Inspections. 147-152
  
• Bruce A. Philp, Brian J. Garner:
  Knowledge Mediation in Software Quality Engineering. 153-159
  
• Håkan Petersson:
  Individual Reviewer Contribution to the Effectiveness of Software Inspection Teams. 160-170
  

Process

• Rahul Chaubey, J. K. Suresh:
  Integration vs. Development : An Engineering Approach to Building Web Applications. 171-181
  
• Louise Scott, D. Ross Jeffery, Lucila Carvalho, John D'Ambra, Philip Rutherford:
  Practical Software Process Improvement-The IMPACT Project. 182-189
  
• June M. Verner, Brian Henderson-Sellers:
  A Pilot Study in Effort Estimation for the Generalization of Object-Oriented Components for Reuse. 190-202
  

Formal Methods

• Andre Renaud, Padmanabhan Krishnan:
  An Environment for Specifying and Verifying Security Properties. 203-212
  
• Vitus S. W. Lam, Julian A. Padget:
  Formalization of UML Statechart Diagrams in the p-Calculus. 213-223
  
• Grant Anderson, Greg Reeve, Steve Reeves:
  Idioms for mu-Chart. 224-234
  

Miscellaneous

• David Hemer, Peter A. Lindsay:
  Specification-Based Retrieval Strategies for Module Reuse. 235-243
  
• Neil J. Robinson, Colin J. Fidge:
  Visualisation of Refinements. 244-254
  

Industrial Experience

• John D'Ambra, D. Ross Jeffery, Dietmar Pfahl:
  CORONET: An Australian Software Engineering Experience in Collaborative Research with the European Community. 255-261
  
• Aileen Cater-Steel:
  Process Improvement in Four Small Software Companies. 262-274
  

Tools

• Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples:
  A Framework for Subsystem-Based Configuration Management . 275-284
  
• Andrew Brooks, Louise Scott:
  Constraints in CASE Tools: Results from Curiosity Driven Research. 285-296
  

Design

• Paul Taylor:
  Interpreting Mayall's 'Principles in Design. 297-306