Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,532,713 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.
Review
2016
Review
2016
Review of Laurent Aubert. 2007. The Music of the Other: New Challenges for Ethnomusicology in a Global Age . Foreword by Anthony Seeger. Translated by Carla Ribeiro. Burlington, VT, and Aldershot, UK…
M. Keller
2016
Corpus ID: 163014252
Review
2013
Review
2013
Clinical techniques to assess the visual and optical performance of intraocular lenses:a review
A. Jinabhai
,
G. Young
,
L. Hall
,
J. Wolffsohn
2013
Corpus ID: 62812030
A number of clinical techniques are available to assess the visual and optical performance of the eye. This report aims to review…
Expand
2012
2012
Computer-Mediated Communication Discussion Environment: Electronic Dialogue in a Conflict Situation
Abdisalam Issa-Salwe
,
M. Kabir
,
Munir Ahmed
2012
Corpus ID: 146312098
This paper uses as case study a discussion mailing list created in January 2000 by a group of the Somali Diaspora. The mailing…
Expand
2012
2012
(SOME) RECENT BRITISH PERSPECTIVES
Steve Hardy
,
Anthony Thwaite
,
Steve Hardy
2012
Corpus ID: 55624460
The principal aim of this article is to contribute to a growing debate about the relationship between different and often opposed…
Expand
2011
2011
An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies
Khadija El Miloudi
,
Y. E. 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
Review
2010
Review
2010
Guest editors’ foreword to the second issue on virtual reality in scientific application
O. Gervasi
,
R. Ranon
Virtual Reality
2010
Corpus ID: 36494792
In the last decades, virtual environments are (perhaps slowly, but steadily) moving from Virtual Reality research laboratories to…
Expand
2001
2001
In-house in Papua New Guinea with Anthony Siaguru
Anthony Siaguru
2001
Corpus ID: 150783964
The great game in Papua New Guinea is politics. Anthony Siaguru is well qualified to be a commentator on the game, having been an…
Expand
Review
1996
Review
1996
Book Review of Libraries In Africa: Pioneers, Policies, Problems by Anthony Olden
M. Wise
1996
Corpus ID: 142286973
Review
1995
Review
1995
Book Review:After the Reforms: Education and Policy in Northern Ireland Robert Osborne, Robert Cormack, Anthony Gallagher
R. Pritchard
1995
Corpus ID: 264255368
1966
1966
Bernard Cohen, Harold Cohen, Robyn Denny, Richard Smith, Anthony Caro : British Pavilion, XXXIII Venice Biennale 1966
Biennale di Venezia
1966
Corpus ID: 160647026