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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Two different descriptions of the existing pion-nucleon scattering data in the region of the Roper resonance are constructed… 
2014
2014
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
BACKGROUND:Nationally mandated information and communication technology (ICT) systems are often locally resented and little used… 
2011
2011
A flexural test for the in situ measurement of the delamination toughness of the interface between a thermally grown oxide and a… 
2011
2011
In view of the informal semantic of UML, there is a high risk of introducing ambiguities and contradictions in the modelled… 
2009
2009
In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths… 
2006
2006
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
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… 
1994
1994
Since William Jones announced the kinship of Sanskrit and the European languages, a massive body of scholarship has illuminated… 
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…