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

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

Last update Thu May 23 16:24:56 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page