Proceedings 2001 Australian Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769512542

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Practical software process improvement - the IMPACT project

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948512 ◽

2002 ◽

Cited By ~ 15

Author(s):

L. Scott ◽

R. Jeffery ◽

L. Carvalho ◽

J. D'Ambra ◽

P. Rutherford

Keyword(s):

Process Improvement ◽

Software Process ◽

Software Process Improvement ◽

The Impact

Download Full-text

Idioms for μ-charts

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948516 ◽

2002 ◽

Author(s):

G. Anderson ◽

G. Reeve ◽

S. Reeves

Download Full-text

Constraints in CASE tools: results from curiosity driven research

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948522 ◽

2002 ◽

Cited By ~ 4

Author(s):

A. Brooks ◽

L. Scott

Keyword(s):

Case Tools

Download Full-text

Animation can show only the presence of errors, never their absence

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948500 ◽

2002 ◽

Cited By ~ 13

Author(s):

T. Miller ◽

P. Strooper

Download Full-text

Pattern-based reuse of successful designs: usability of safety-critical systems

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948495 ◽

2002 ◽

Author(s):

M. Mahemoff ◽

A. Hussey ◽

L. Johnston

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

On the effectiveness of mutation analysis as a black box testing technique

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948492 ◽

2002 ◽

Cited By ~ 18

Author(s):

T. Murnane ◽

K. Reed

Keyword(s):

Mutation Analysis ◽

Black Box ◽

Testing Technique ◽

Black Box Testing

Download Full-text

Applying static analysis to large-scale, multi-threaded Java programs

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948499 ◽

2002 ◽

Cited By ~ 31

Author(s):

C. Artho ◽

A. Biere

Keyword(s):

Static Analysis ◽

Large Scale ◽

Java Programs

Download Full-text

An agent-based approach to computer assisted code inspections

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948508 ◽

2002 ◽

Author(s):

K. Chan

Keyword(s):

Computer Assisted ◽

Agent Based

Download Full-text

Formalization of UML statechart diagrams in the π-calculus

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948515 ◽

2002 ◽

Cited By ~ 4

Author(s):

V.S.W. Lam ◽

J. Padget

Keyword(s):

Π Calculus

Download Full-text

Visualisation of refinements

Proceedings 2001 Australian Software Engineering Conference ◽

10.1109/aswec.2001.948518 ◽

2002 ◽

Cited By ~ 2

Author(s):

N.J. Robinson ◽

C. Fidge

Download Full-text

Proceedings 2001 Australian Software Engineering ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Practical software process improvement - the IMPACT project

Idioms for μ-charts

Constraints in CASE tools: results from curiosity driven research

Animation can show only the presence of errors, never their absence

Pattern-based reuse of successful designs: usability of safety-critical systems

On the effectiveness of mutation analysis as a black box testing technique

Applying static analysis to large-scale, multi-threaded Java programs

An agent-based approach to computer assisted code inspections

Formalization of UML statechart diagrams in the π-calculus

Visualisation of refinements

Proceedings 2001 Australian Software Engineering Conference
Latest Publications