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.
2017
2017
Structure of the Roper Resonance from Lattice QCD Constraints
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
Tool support for the Test Template Framework
This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model‐based… Expand
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
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
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
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
Highly Cited
1995
Highly Cited
1995
Seven More Myths of Formal Methods
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
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… Expand
1994
1994
Europe, or how to escape babel
Since William Jones announced the kinship of Sanskrit and the European languages, a massive body of scholarship has illuminated… Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… Expand
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