Skip to search formSkip to main contentSkip to account menu

J. Anthony Hall

Known as: Anthony Hall 
J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation. Anthony Hall was… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Altran PraxisBCS-FACSForTIAFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Structure of the Roper resonance from lattice QCD constraints
Two different descriptions of the existing pion-nucleon scattering data in the region of the Roper resonance are constructed… 
2014
2014
Tool support for the Test Template Framework
This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model‐based… 
Highly Cited
2014
Highly Cited
2014
Rethinking resistance to ‘big IT’: a sociological study of why and when healthcare staff do not use nationally mandated information and communication technologies
BACKGROUND:Nationally mandated information and communication technology (ICT) systems are often locally resented and little used… 
2011
2011
In Situ Measurement of the Toughness of the Interface Between a Thermal Barrier Coating and a Ni Alloy
A flexural test for the in situ measurement of the delamination toughness of the interface between a thermally grown oxide and a… 
2011
2011
An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
In view of the informal semantic of UML, there is a high risk of introducing ambiguities and contradictions in the modelled… 
2009
2009
Software Mythbusters Explore Formal Methods
In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths… 
2006
2006
Currency Changeovers as Natural Experiments
The goal of this paper is twofold. First, I document the impact of the Euro changeover on (relative) prices. The impact was… 
Highly Cited
1994
Highly Cited
1994
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… 
1994
1994
Europe, or how to escape babel
Since William Jones announced the kinship of Sanskrit and the European languages, a massive body of scholarship has illuminated… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)