Juan Bicarregui

Simon C. Lambert

Proceedings of the MMGPS, 2003

2002

Policy-Driven Access Control over a Distributed Firewall Architecture.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

Do Not Read This.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

2001

Interpolation in Practical Formal Development.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

A Multidisciplinary Scientific Data Portal.

[BibT_eX]

[DOI]

John V. Ashby

David R. S. Boyd

Kerstin Kleese van Dam

Simon C. Lambert

Kevin D. O'Neill

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.

[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

Structured Axiomatic Semantics for UML Models.

[BibT_eX]

[DOI]

Andy Evans

Proceedings of the Rigorous Object-Oriented Methods, 2000

1999

Exploiting Formality in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Proof and Refutation in Formal Software Development.

[BibT_eX]

[DOI]

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Formalising the UML in Structured Temporal Theories.

[BibT_eX]

[DOI]

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

Investigating the Integration of two Formal Methods.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Semantics and Transformations for UML Models.

[BibT_eX]

[DOI]

Proceedings of the Unified Modeling Language, 1998

Synthesising Structure from Flat Specifications.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

The Specification and Proof of an EXPRESS to SQL "Compiler".

[BibT_eX]

[DOI]

Proceedings of the Proof in VDM: Case Studies, 1998

On the Verification of VDM Specification and Refinement with PVS.

[BibT_eX]

[DOI]

Sten Agerholm

Savi Maharaj

Proceedings of the Proof in VDM: Case Studies, 1998

1997

Making the Most of Formal Specification Through Animation, Testing and Proof.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1997

Formal methods into practice: case studies in the application of the B method.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

Integrating VDM++ and Real-Time System Design.

[BibT_eX]

[DOI]

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

On the Verification of VDM Specification and Refinement with PVS.

[BibT_eX]

[DOI]

Savi Maharaj

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Specification of Required Non-determinism.

[BibT_eX]

[DOI]

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Formalizing Object-Oriented Models in the Object Calculus.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Proceedings of the ECOOP'97, 1997

Towards a compositional interpretation of object diagrams.

[BibT_eX]

T. S. E. Maibaum

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Quantitative Analysis of an Application of Formal Methods.

[BibT_eX]

[DOI]

Jeremy Dick

Eoin Woods

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Formal Methods in Practice: A Comparison of Two Support Systems for Proof.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

1994

Operation Semantics with Read and Write Frames.

[BibT_eX]

[DOI]

Proceedings of the 6th Refinement Workshop, 1994

Experiences in Using the Abstract Machine Notation in a GKS Case Study.

[BibT_eX]

[DOI]

Howard P. Haughton

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Proof in VDM: A Practitioner's Guide

[BibT_eX]

[DOI]

Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994

1993

Algorithm Refinement with Read and Write Frames.

[BibT_eX]

[DOI]

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Reasoning about VDM Developments using the VDM Support Tool in MURAL.

[BibT_eX]

[DOI]