R. Geoff Dromey

David Tuffley

Innov. Syst. Softw. Eng., 2014

2011

Comodeling: From Requirements to an Integrated Software/Hardware Model.

[BibT_eX]

[DOI]

Toby Myers

Peter Fritzson

Computer, 2011

2009

Software Engineering and Scale-Free Networks.

[BibT_eX]

[DOI]

Diana Kirk

IEEE Trans. Syst. Man Cybern. Part B, 2009

Dynamic Relational Behaviour for Large-Scale Systems.

[BibT_eX]

[DOI]

Kirsten Winter

Robert Colvin

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

From Requirements to Embedded Software - Formalising the Key Steps.

[BibT_eX]

[DOI]

Toby Myers

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems.

[BibT_eX]

[DOI]

Toby Myers

Peter Fritzson

Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

2007

A tool to visualize behavior and design evolution.

[BibT_eX]

[DOI]

Diana Kirk

Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

API design recommendations for facilitating conversion of single-user applications into collaborative applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

Maintaining constraints expressed as formulas in collaborative systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

"Integrare", a Collaborative Environment for Behavior-Oriented Design.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Design, 2007

Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Design, 2007

Engineering Large-Scale Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

Early Validation and Verification of a Distributed Role-Based Access Control Model.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Software Systems as Complex Networks.

[BibT_eX]

[DOI]

Diana Kirk

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

Climbing over the "No Silver Bullet" Brick Wall.

[BibT_eX]

[DOI]

IEEE Softw., 2006

Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2005

Architecture Normalization for Component-based Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

A Metamodel for the Behavior Trees Modelling Technique.

[BibT_eX]

[DOI]

Cesar Gonzalez-Perez

Brian Henderson-Sellers

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach.

[BibT_eX]

[DOI]

Proceedings of the Ninth European Conference on Computer Supported Cooperative Work, 2005

Maintaining multi-way dataflow constraints in collaborative systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Design, 2005

Integrating Safety and Security Requirements into Design of an Embedded System.

[BibT_eX]

[DOI]

Saad Zafar

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

2004

From Requirements Change to Design Change: A Formal Path.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 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

2003

Software Quality-Prevention versus Cure?

[BibT_eX]

[DOI]

Softw. Qual. J., 2003

From Requirements to Design: Formalizing the Key Steps.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Architecture as an Emergent Property of Requirements Integration.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2003, 2003

Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.

[BibT_eX]

[DOI]

Proceedings of the Scenarios: Models, 2003

2002

On Expressing and Monitoring Behaviour in Contracts.

[BibT_eX]

[DOI]

Zoran Milosevic

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

1998

Software Design: In Search of Method.

[BibT_eX]

[DOI]

Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

1996

Cornering the Chimera.

[BibT_eX]

[DOI]

IEEE Softw., 1996

The Co-invariant Generator: An Aid in Deriving Loop Bodies.

[BibT_eX]

[DOI]

David Billington

Formal Aspects Comput., 1996

A Formal Basis for Removing Goto Statements.

[BibT_eX]

[DOI]

Comput. J., 1996

Re-engineering Loops.

[BibT_eX]

[DOI]

Comput. J., 1996

Beyond Structured Programming.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

A Model for Software Product Quality.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

1994

Using Strongest Postconditions to Improve Software Quality.

[BibT_eX]

Proceedings of the Software Quality and Productivity: Theory, 1994

SAFE: A Programming Language for Software Quality.

[BibT_eX]

B. K. Oliver

Proceedings of the Software Quality and Productivity: Theory, 1994

Software Quality and Productivity Improvement.

[BibT_eX]

Proceedings of the Software Quality and Productivity: Theory, 1994

1990

Structure Clashes - An Alternative to Program Inversion.

[BibT_eX]

[DOI]

T. A. Chorvat

Comput. J., 1990

1989

Program derivation - the development of programs from specifications.

[BibT_eX]

International computer science series, Addison-Wesley, ISBN: 978-0-201-41624-4, 1989

1988

Systematic Program Development.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

1987

Derivation of Sorting Algorithms from a Specification.

[BibT_eX]

[DOI]

Comput. J., 1987

1986

An Algorithm for The Selection Problem.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1986

1985

Forced Termination of Loops.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1985

Program Development by Inductive Stepwise Refinement.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1985

1984

Exploiting Partial Order with Quicksort.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1984

1980

Fast String Searching by Finding Subkeys in Subtext.

[BibT_eX]

[DOI]

Thomas A. Bailey

Inf. Process. Lett., 1980

1979

A Linked-Path Connection Table with Substructural Atom-Ordering.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1979

A Fast Algorithm for Text Comparison.

[BibT_eX]

Aust. Comput. J., 1979

1978

A Simple Tree-Structured Line Formula Notation for Representing Molecular Topology.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1978

A Compact and Efficient File Structure for Searching Large Generic-Keyed Databases. An Application to Mass Spectral Data.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1978

A Structural Molecular Formula for Flexible and Efficient Substructure Searching of Large Databases.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1978

A Compact Free-Keyword File Structure for Author-Title-Keyword Searching. An Application to an NMR Bibliographic Database.

[BibT_eX]

[DOI]