default search action
13th 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.