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

Related topics

Related topics

8 relations
Altran PraxisBCS-FACSForTIAFormal methods
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Tool support for the Test Template Framework
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
Rethinking resistance to ‘big IT’: a sociological study of why and when healthcare staff do not use nationally mandated information and communication technologies
Nationally mandated information and communication technology (ICT) systems are often locally resented and little used. This… Expand
Is this relevant?
2013
2013
Waiting for an unlikely REDD : digressions from Anthony Hall's most recent book ("Forest and climate change : the social dimensions of REDD in Latin America", 2012). Response to Catherine Aubertin's…
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
Computer-Mediated Communication Discussion Environment: Electronic Dialogue in a Conflict Situation
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
An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
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
In Situ Measurement of the Toughness of the Interface Between a Thermal Barrier Coating and a Ni Alloy
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
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… Expand
  • figure 1
Is this relevant?
2006
2006
Currency Changeovers as Natural Experiments
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
Relating Z and First-Order Logic
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
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE