Anthony Hall

28 papers A* 1A 3B 3C 3Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2013 J jnl
Atomicity failure and the retrenchment atomicity pattern.
Formal Aspects Comput.
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2010 C conf
Motion Capture for a Natural Tree in the Wind.
MIG
Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones
2008 C conf
Integrating Z into Large Projects Tools and Techniques.
ABZ
Anthony Hall
2007 J jnl
Realising the Benefits of Formal Methods.
J. Univers. Comput. Sci.
Anthony Hall
2007 B conf
Retrenchment and the Atomicity Pattern.
SEFM
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2005 B conf
Making Formal Methods Work.
SEFM
Anthony Hall
2005 C conf
Realising the Benefits of Formal Methods.
ICFEM
Anthony Hall
2005 — conf
Software Verification and Software Engineering a Practitioner's Perspective.
VSTTE
Anthony Hall
2002 J jnl
Correctness by Construction: Developing a Commercial Secure System.
IEEE Softw.
Anthony Hall, Roderick Chapman
2002 — conf
Correctness by Construction: Integrating Formality into a Commercial Development Process.
FME
Anthony Hall
2002 — conf
Z Styles for Security Properties and Modern User Interfaces.
FASec
Anthony Hall
2001 A conf
A Unified Approach to Systems and Software Requirements.
RE
Anthony Hall
2001 A conf
Will It Work?
RE
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
1998 — conf
What Does Industry Need From Formal Specification Techniques?
WIFT
Anthony Hall
1997 — conf
A Real Time Kernel to Support the Transputer Programming Model.
HPCN Europe
Adrian Cox, Anthony Hall
1997 — conf
Do interactive systems need specifications?
DSV-IS
Anthony Hall
1997 — conf
Taking Z Seriously.
ZUM
Anthony Hall
1997 B conf
Visual Target Tracking and Extraction from a Sequence of Images.
ICTAI
Nikolaos G. Bourbakis, Richard Andel, Anthony Hall
1997 A conf
What's the Use of Requirements Engineering?
RE
Anthony Hall
1996 J jnl
An Invitation to Formal Methods.
Computer
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
1996 J jnl
Using Formal Methods to Develop an ATC Information System.
IEEE Softw.
Anthony Hall
1995 — conf
The Future of Formal Methods in Industry.
ZUM
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
1994 — conf
Specifying and Interpreting Class Hierarchies in Z.
Z User Workshop
Anthony Hall
1993 — ch.
Integrating Methods in Practice.
Formal Methods in Systems Engineering
Anthony Hall
1992 — conf
Is Software Engineering?
CSEE
Anthony Hall
1990 J jnl
Seven Myths of Formal Methods.
IEEE Softw.
Anthony Hall
1990 — conf
Using Z as a Specification Calculus for Object-Oriented Systems.
VDM Europe
Anthony Hall
1987 A* conf
Tool Interfaces in Integrated Project Support Environments.
ICSE
Anthony Hall