Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,148,850 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Altran Praxis
BCS-FACS
ForTIA
Formal 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
Jia-Jun Wu
,
D. Leinweber
,
Zhanfeng Liu
,
A. Thomas
Physical Review D
2017
Corpus ID: 5461521
Two different descriptions of the existing pion-nucleon scattering data in the region of the Roper resonance are constructed…
Expand
2014
2014
Tool support for the Test Template Framework
M. Cristiá
,
Pablo Albertengo
,
C. Frydman
,
Brian Plüss
,
Pablo Rodríguez Monetti
Software testing, verification & reliability
2014
Corpus ID: 38440845
This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model‐based…
Expand
Highly Cited
2014
Highly Cited
2014
Rethinking resistance to ‘big IT’: a sociological study of why and when healthcare staff do not use nationally mandated information and communication technologies
T. Greenhalgh
,
D. Swinglehurst
,
R. Stones
2014
Corpus ID: 75505271
BACKGROUND:Nationally mandated information and communication technology (ICT) systems are often locally resented and little used…
Expand
2011
2011
In Situ Measurement of the Toughness of the Interface Between a Thermal Barrier Coating and a Ni Alloy
C. Eberl
,
Xi Wang
,
+4 authors
K. Hemker
2011
Corpus ID: 27741447
A flexural test for the in situ measurement of the delamination toughness of the interface between a thermally grown oxide and a…
Expand
2011
2011
An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
Khadija El Miloudi
,
Younès El Amrani
,
Abdelaziz Ettouhami
International Conference on Software Engineering…
2011
Corpus ID: 196063813
In view of the informal semantic of UML, there is a high risk of introducing ambiguities and contradictions in the modelled…
Expand
2009
2009
Software Mythbusters Explore Formal Methods
Ciera Jaspan
,
M. Keeling
,
Larry Maccherone
,
G. Zenarosa
,
M. Shaw
IEEE Software
2009
Corpus ID: 34096711
In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths…
Expand
2006
2006
Currency Changeovers as Natural Experiments
Thomas A. Eife
2006
Corpus ID: 55294205
The goal of this paper is twofold. First, I document the impact of the Euro changeover on (relative) prices. The impact was…
Expand
Highly Cited
1994
Highly Cited
1994
Seven More Myths of Formal Methods
Jonathan P. Bowen
,
M. Hinchey
FME
1994
Corpus ID: 1216288
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
Maurice Olender
,
J. Kellman
1994
Corpus ID: 144733096
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
Barry Mark Utting
1992
Corpus ID: 61202181
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
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE