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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2018
012319922018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Christoph Eberl,w,z,y Xi Wang,z,z Daniel S. Gianola,z,J Thao D. Nguyen,z Ming Y. He, Anthony G. Evans, and Kevin J. Hemkerz… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Review
2011
Review
2011
Deforestation in Latin America, especially in the Amazon basin, is a major source of greenhouse gases such as carbon dioxide that… (More)
Is this relevant?
2010
2010
Ovarian Androgen Production in Cattle 3 F Mossa, F Jimenez-Krassel, JK Folger, JLH Ireland, GW 4 Smith, P Lonergan, ACO Evans… (More)
Is this relevant?
2009
2009
In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths… (More)
  • figure 1
Is this relevant?
2008
2008
References http://rstb.royalsocietypublishing.org/content/363/1498/1925.full.html#related-urls Article cited in: http://rstb… (More)
Is this relevant?
2007
2007
The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of… (More)
  • figure 1
Is this relevant?
2006
2006
The B-method [1] is a theory and methodology for formal development of computer systems. It is used in industry in a range of… (More)
  • figure 1
Is this relevant?
2006
2006
African American Theme House . . . . . . . . .L-14 Alumni House . . . . . . . . . . . . . . . . . . . . . .N-13 Andersen… (More)
Is this relevant?
1994
1994
In this paper we compare the formal specification languages Z and Abstract Machine Notation (AMN); the latter of which is due to… (More)
Is this relevant?
Review
1992
Review
1992
This appendix provides some details on how to access information on Z, particularly electronically. It has been generated from a… (More)
Is this relevant?