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.
2014
2014
SUMMARY This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model… Expand
  • figure 1
  • figure 3
  • figure 5
  • table I
  • figure 7
Is this relevant?
2014
2014
Nationally mandated information and communication technology (ICT) systems are often locally resented and little used. This… Expand
Is this relevant?
2013
2013
Apresentamos a seguir um debate sobre o recente livro do Professor Anthony Hall (Forests and climate change. The social… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
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… Expand
  • figure 1
Is this relevant?
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
Is this relevant?
2000
2000
Abstract. Despite being widely regarded as a gloss on first-order logic and set theory, Z has not been found to be very… Expand
  • figure 1
Is this relevant?
1994
1994
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… Expand
Is this relevant?