FAQ

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

Related topics

Related topics

8 relations
Altran PraxisBCS-FACSForTIAFormal methods
(More)

Related mentions per year

Related mentions per year

1955-2018
1960198020002020
J. Anthony Hall
Formal methods
Altran Praxis
Requirements engineering
Software engineer
BCS-FACS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
In Situ Measurement of the Toughness of the Interface Between a Thermal Barrier Coating and a Ni Alloy
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
Conservation and Climate Change in Latin America
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
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
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… (More)
  • figure 1
Is this relevant?
2008
2008
Anthony Hall services in Amazonia Better RED than dead : paying the people for environmental
References http://rstb.royalsocietypublishing.org/content/363/1498/1925.full.html#related-urls Article cited in: http://rstb… (More)
Is this relevant?
2007
2007
Animating and Model Checking B Specifications with Higher-Order Recursive Functions
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
Rapid Visualization of B Specifications containing Higher-Order Recursive Functions
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
B B a a C C N Nu Um Mb Be Er Re Ed D S St Tr Re Ee Et Ts S Avoiding Bike Theft Ac Transit Bus System and Transit Map Of
African American Theme House . . . . . . . . .L-14 Alumni House . . . . . . . . . . . . . . . . . . . . . .N-13 Andersen… (More)
Is this relevant?
1994
1994
Z and Abstract Machine Notation: A Comparison
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
Comp.specification.z and Z FORUM Frequently Asked Questions
This appendix provides some details on how to access information on Z, particularly electronically. It has been generated from a… (More)
Is this relevant?