Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
2014
2014
This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model‐based… Expand
2012
2012
This paper uses as case study a discussion mailing list created in January 2000 by a group of the Somali Diaspora. The mailing… Expand
2011
2011
In view of the informal semantic of UML, there is a high risk of introducing ambiguities and contradictions in the modelled… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2011
2011
A flexural test for the in situ measurement of the delamination toughness of the interface between a thermally grown oxide and a… Expand
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
2006
2006
The goal of this paper is twofold. First, I document the impact of the Euro changeover on (relative) prices. The impact was… Expand
  • table 1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • table 2
Highly Cited
1995
Highly Cited
1995
New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors… Expand
Highly Cited
1994
Highly Cited
1994
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… Expand
1994
1994
Since William Jones announced the kinship of Sanskrit and the European languages, a massive body of scholarship has illuminated… Expand
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… Expand