13. ASWEC 2001: Canberra, ACT, Australia

13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia. IEEE Computer Society 2001, ISBN 0-7695-1254-2 BibTeX

@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
Electronic Edition (link) BibTeX
Tafline Murnane, Karl Reed:
On the Effectiveness of Mutation Analysis as a Black Box Testing Technique. 12-20
Electronic Edition (link) BibTeX
Man Fai Lau, Yuen-Tak Yu:
On the Relationships of Faults for Boolean Specification Based Testing. 21-30
Electronic Edition (link) BibTeX

Usability

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

Testing 2

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

SE Knowledge

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

Components

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

Inspection

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

Process

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

Formal Methods

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

Miscellaneous

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

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
Electronic Edition (link) BibTeX
Aileen Cater-Steel:
Process Improvement in Four Small Software Companies. 262-274
Electronic Edition (link) BibTeX

Tools

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

Design

Paul Taylor:
Interpreting Mayall's 'Principles in Design. 297-306
Electronic Edition (link) BibTeX