David A. Carrington

Proceedings of the Formal Methods and Software Engineering, 2006

An Industry-Based Evaluation of Process Modeling Techniques.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement, 13th European Conference, 2006

Verifying Metamodel Coverage of Model Transformations.

[BibT_eX]

[DOI]

Junhua Wang

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

A Pattern based Model Evolution Approach.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

An industry/university collaboration to upgrade software engineering knowledge and skills in industry.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

A Rigorous Foundation for Pattern-Based Design Models.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An MDA Approach Towards Integrating Formal and Informal Modeling Languages.

[BibT_eX]

[DOI]

Damian Burger

Proceedings of the FM 2005: Formal Methods, 2005

Tool Support for Statistical Testing of Software Components.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

A Passive Test Oracle Using a Component's API.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

An Environment for Building a System out of its Requirements.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Using Measurement Data in a TSP<sup>SM</sup> Project.

[BibT_eX]

[DOI]

Noopur Davis

Julia Mullaney

Proceedings of the Software Process Improvement, 11th European Conference, 2004

A Framework for Reliability Assessment of Software Components.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Systematic Operational Profile Development for Software Components.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

An Approach to Specifying Software Frameworks.

[BibT_eX]

[DOI]

Leesa Murray

Proceedings of the Computer Science 2004, 2004

2003

The Variety of Variables in Automated Real-Time Refinement.

[BibT_eX]

[DOI]

Luke Wildman

Colin J. Fidge

Formal Aspects Comput., 2003

Teaching Software Engineering Fundamentals to Practicing Engineers.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

2002

Teaching the PSP: Challenges and Lessons Learned.

[BibT_eX]

[DOI]

IEEE Softw., 2002

Graph Layout Aesthetics in UML Diagrams: User Preferences.

[BibT_eX]

[DOI]

J. Graph Algorithms Appl., 2002

Empirical Evaluation of Aesthetics-based Graph Layout.

[BibT_eX]

Empir. Softw. Eng., 2002

A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

UML Collaboration Diagram Syntax: An Empirical Study of Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Visualizing Software for Understanding and Analysis, 2002

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Integrating Use-Case Analysis and Task Analysis for Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.

[BibT_eX]

[DOI]

Jamie Shield

Ian J. Hayes

Proceedings of the Computing: The Australasian Theory Symposium, 2001

A formal denotational semantics of UML in Object-Z.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2001

A Metamodel-based transformation between UML and Object-Z.

[BibT_eX]

[DOI]

Roger Duke

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Generic Description of a Software Document Environment.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel).

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

PSP SM in the Large Class.

[BibT_eX]

[DOI]

Ben McEniery

Dan B. Johnston

Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

Teaching PSPSM and TSPi in Universities.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

Assessing Usability from Formal User-Interface Designs.

[BibT_eX]

[DOI]

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Australasian Symposium on Information Visualisation, 2001

UML Class Diagram Syntax: An Empirical Study of Comprehension.

[BibT_eX]

[DOI]

Proceedings of the Australasian Symposium on Information Visualisation, 2001

2000

From Object-Z Specifications to ClassBench Test Suites.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Computer-aided development of a real-time program.

[BibT_eX]

[DOI]

Luke Wildman

Colin J. Fidge

Softw. Concepts Tools, 2000

Some Elements of Z Specification Style: Structuring Techniques.

[BibT_eX]

[DOI]

Anthony MacDonald

J. Univers. Comput. Sci., 2000

CSE Special Australasian Issue - Guest Editorial.

[BibT_eX]

[DOI]

John Fulcher

Comput. Sci. Educ., 2000

A Formal Mapping between UML Models and Object-Z Specifications.

[BibT_eX]

[DOI]

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Translating UAN into CSP.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

User Preference of Graph Layout Aesthetics: A UML Study.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 8th International Symposium, 2000

Experimenting with Aesthetics-Based Graph Layout.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Object-oriented user-interface development.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1999

Formalizing the UML Class Diagram Using Object-Z.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Specifying Interactive Systems in Object-Z and CSP.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

A Model of Specification-Based Testing of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Model-Based Design of User Interfaces Using Object-Z.

[BibT_eX]

Proceedings of the Computer-Aided Design of User Interfaces II, 1999

Visualization of Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

A Program Refinement Tool.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Formal Derivation of Finite State Machines for Class Testing.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Guiding Object-Oriented Design.

[BibT_eX]

[DOI]

Anthony MacDonald

Proceedings of the TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Specification-Based Class Testing: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Which widgets? deriving implementations from user-interface specifications.

[BibT_eX]

[DOI]

Alfred Hussey

Proceedings of the Design, 1998

1997

Comparing the MVC and PAC architectures: a formal perspective.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

User interface correctness.

[BibT_eX]

[DOI]

XRDS, 1997

Extending Test Templates with Inheritance.

[BibT_eX]

[DOI]

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Visualising Software Documents in a Generic Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Specifying the UQ* user-interface with Object-Z.

[BibT_eX]

[DOI]

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

Teaching software testing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996

A Framework for Specification-Based Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Software Visualisation in a Generic Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Setting up a tutor training programme in computer science.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

Structuring Z Specifications: Some Choices.

[BibT_eX]

[DOI]

Anthony MacDonald

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

A Tale of Two Paradigms: Formal Methods and Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Relational views for program comprehension.

[BibT_eX]

[DOI]

Tim Jones

Warwick Allison

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

1993

Deriving Modular Designs from Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Test Template Framework: A Specification-Based Testing Case Study.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Test Templates: A Specification-Based Testing Framework.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Modelling open distributed systems in Z.

[BibT_eX]

[DOI]

Comput. Commun., 1992

1991

ZOOM Workshop Report.

[BibT_eX]

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

Tool Support for the Refinement Calculus.

[BibT_eX]

[DOI]

Kenneth Arthur Robinson

Proceedings of the Computer-Aided Verification, 1990

Computer Assistance for Program Refinement.

[BibT_eX]

[DOI]

Kenneth Arthur Robinson

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Object-Z: An Object-Oriented Extension to Z.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1989

1986

Profiling under ELXSI UNIX.

[BibT_eX]

Softw. Pract. Exp., 1986

User Interface issues in Programming Environments.

[BibT_eX]