Anthony Hall

According to our database, Anthony Hall authored at least 28 papers between 1983 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Atomicity failure and the retrenchment atomicity pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Formal Aspects Comput., 2013

2010

Motion Capture for a Natural Tree in the Wind.

Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones

Proceedings of the Motion in Games - Third International Conference, 2010

2008

Integrating Z into Large Projects Tools and Techniques.

Anthony Hall

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Realising the Benefits of Formal Methods.

Anthony Hall

J. Univers. Comput. Sci., 2007

Retrenchment and the Atomicity Pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2005

Software Verification and Software Engineering a Practitioner's Perspective.

Anthony Hall

Proceedings of the Verified Software: Theories, 2005

Making Formal Methods Work.

Anthony Hall

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2002

Correctness by Construction: Developing a Commercial Secure System.

Anthony Hall, Roderick Chapman

IEEE Softw., 2002

Correctness by Construction: Integrating Formality into a Commercial Development Process.

Anthony Hall

Proceedings of the FME 2002: Formal Methods, 2002

Z Styles for Security Properties and Modern User Interfaces.

Anthony Hall

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001

Will It Work?

Jonathan Hammond, Rosamund Rawlings, Anthony Hall

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

A Unified Approach to Systems and Software Requirements.

Anthony Hall

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1998

What Does Industry Need From Formal Specification Techniques?

Anthony Hall

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1997

Taking Z Seriously.

Anthony Hall

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

What's the Use of Requirements Engineering?

Anthony Hall

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Visual Target Tracking and Extraction from a Sequence of Images.

Nikolaos G. Bourbakis, Richard Andel, Anthony Hall

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

A Real Time Kernel to Support the Transputer Programming Model.

Adrian Cox, Anthony Hall

Proceedings of the High-Performance Computing and Networking, 1997

Do interactive systems need specifications?

Anthony Hall

Proceedings of the Design, 1997

1996

Using Formal Methods to Develop an ATC Information System.

Anthony Hall

IEEE Softw., 1996

An Invitation to Formal Methods.

Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave

Computer, 1996

1995

The Future of Formal Methods in Industry.

Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett

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

1994

Specifying and Interpreting Class Hierarchies in Z.

Anthony Hall

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

1993

Integrating Methods in Practice.

Anthony Hall

Proceedings of the Formal Methods in Systems Engineering, 1993

1992

Is Software Engineering?

Anthony Hall

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1990

Seven Myths of Formal Methods.

Anthony Hall

IEEE Softw., 1990

Using Z as a Specification Calculus for Object-Oriented Systems.

Anthony Hall

Proceedings of the VDM '90, 1990

1987

Tool Interfaces in Integrated Project Support Environments.

Anthony Hall

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1983

Databases in Software Development: The Ada Programming Support Environment.

J. Anthony Hall

Proceedings of the Ada Software Tools Interfaces, 1983