J. Anthony Hall | Academic Influence

J. Anthony Hall's AcademicInfluence.com Rankings

J. Anthony Hall

Computer Science

#2285

World Rank

#2381

Historical Rank

Software Engineering

#86

World Rank

#86

Historical Rank

Database

#9652

World Rank

#10197

Historical Rank

computer-science Degrees

Download Badge

Computer Science

J. Anthony Hall's Degrees

Bachelors Computer Science University of Oxford

Similar Degrees You Can Earn

Why Is J. Anthony Hall Influential?

(Suggest an Edit or Addition)

According to Wikipedia, J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation. Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included:ICI Research Fellow, Department of Theoretical Chemistry, University of Sheffield Principal Scientific Officer, British Museum Research Laboratory Senior Consultant, Systems Programming Limited Principal Consultant, Systems Designers Visiting Professor, Carnegie Mellon University Principal Consultant, Praxis Critical Systems In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services . He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering.

(See a Problem?)

J. Anthony Hall's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Seven myths of formal methods (1990) (738)
Correctness by Construction: Developing a Commercial Secure System (2002) (225)
Using Formal Methods to Develop an ATC Information System (1996) (172)
An Invitation to Formal Methods (1996) (161)
Using Z as a Specification Calculus for Object-Oriented Systems (1990) (93)
Specifying and Interpreting Class Hierarchies in Z (1994) (57)
Correctness by Construction: Integrating Formality into a Commercial Development Process (2002) (38)
Will it work? [Requirements engineering] (2001) (23)
What does industry need from formal specification techniques? (1998) (13)
Taking Z Seriously (1997) (11)
Do interactive systems need specifications? (1997) (8)
Formal Methods start to add up once again (2004) (8)
Retrenchment and the Atomicity Pattern (2007) (6)
What's the use of requirements engineering? (1997) (6)
The Future of Formal Methods in Industry (1995) (6)
Integrating Z into Large Projects Tools and Techniques (2008) (5)
Software Verification and Software Engineering a Practitioner's Perspective (2005) (5)
A unified approach to systems and software requirements (2001) (4)
Formal methods in a real air traffic control project (1992) (4)
Is Software Engineering? (1992) (4)
The AOODB Workbench : An Environment for the Design of Active Object-Oriented Databases (1999) (3)
Z Styles for Security Properties and Modern User Interfaces (2002) (2)
The evaluation of project support environments for the STARTS user guide (1988) (1)
Tool interfaces in integrated project support environments (1987) (1)
The future of industrial formal methods (1995) (1)
Atomicity failure and the retrenchment atomicity pattern (2013) (1)
Some metrics from a formal development (1995) (1)
Making Formal Methods Work (2005) (1)
Atomicity failure and the retrenchment atomicity pattern (2011) (0)
A Real Time Kernel to Support the Transputer Programming Model (1997) (0)
Integrating Methods in Practice (1993) (0)
33 – Integrated project support environments (1991) (0)
Software engineering mathematics : By Jim Woodcock and Martin Loomes. Pitman Publishing, Southport, United Kingdom, 1988, Price £10.95 (paperback), ISBN 0-273-02673-9.☆ (1989) (0)

This paper list is powered by the following services:

Other Resources About J. Anthony Hall

en.wikipedia.org

What Schools Are Affiliated With J. Anthony Hall?

J. Anthony Hall is affiliated with the following schools: