Matches in DBpedia 2014 for { <http://dbpedia.org/resource/J._Anthony_Hall> ?p ?o. }
Showing items 1 to 75 of
75
with 100 items per page.
- J._Anthony_Hall abstract "See also other people called Anthony Hall (disambiguation).J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included: ICI Research Fellow, Department of Theoretical Chemistry, University of Sheffield (1971–1973) Principal Scientific Officer, British Museum Research Laboratory (1973–1980) Senior Consultant, Systems Programming Limited (1980–1984) Principal Consultant, Systems Designers (1984–1986) Visiting Professor, Carnegie Mellon University (1994) Principal Consultant, Praxis Critical Systems (1986–2004)In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS). He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering. Since 2004, Hall has been an independent consultant. He has also been a visiting professor at the University of York. Hall was the founding chair of ForTIA, the Formal Techniques Industry Association.".
- J._Anthony_Hall wikiPageExternalLink www.anthonyhall.org.
- J._Anthony_Hall wikiPageExternalLink career_history.html.
- J._Anthony_Hall wikiPageID "5818561".
- J._Anthony_Hall wikiPageRevisionID "605721239".
- J._Anthony_Hall hasPhotoCollection J._Anthony_Hall.
- J._Anthony_Hall name "Hall, Anthony".
- J._Anthony_Hall subject Category:Academics_of_the_University_of_Sheffield.
- J._Anthony_Hall subject Category:Alumni_of_the_University_of_Oxford.
- J._Anthony_Hall subject Category:British_computer_programmers.
- J._Anthony_Hall subject Category:British_computer_scientists.
- J._Anthony_Hall subject Category:British_software_engineers.
- J._Anthony_Hall subject Category:Employees_of_the_British_Museum.
- J._Anthony_Hall subject Category:Fellows_of_the_British_Computer_Society.
- J._Anthony_Hall subject Category:Fellows_of_the_Royal_Academy_of_Engineering.
- J._Anthony_Hall subject Category:Formal_methods_people.
- J._Anthony_Hall subject Category:Living_people.
- J._Anthony_Hall subject Category:Year_of_birth_missing_(living_people).
- J._Anthony_Hall type Academician109759069.
- J._Anthony_Hall type AcademicsOfTheUniversityOfSheffield.
- J._Anthony_Hall type Adult109605289.
- J._Anthony_Hall type AlumniOfTheUniversityOfOxford.
- J._Anthony_Hall type Alumnus109786338.
- J._Anthony_Hall type Associate109816771.
- J._Anthony_Hall type BritishComputerProgrammers.
- J._Anthony_Hall type BritishComputerScientists.
- J._Anthony_Hall type CausalAgent100007347.
- J._Anthony_Hall type Colleague109935990.
- J._Anthony_Hall type ComputerScientist109951070.
- J._Anthony_Hall type ComputerUser109951274.
- J._Anthony_Hall type Educator110045713.
- J._Anthony_Hall type Employee110053808.
- J._Anthony_Hall type EmployeesOfTheBritishMuseum.
- J._Anthony_Hall type Engineer109615807.
- J._Anthony_Hall type FellowsOfTheBritishComputerSociety.
- J._Anthony_Hall type FellowsOfTheRoyalAcademyOfEngineering.
- J._Anthony_Hall type FormalMethodsPeople.
- J._Anthony_Hall type Intellectual109621545.
- J._Anthony_Hall type LivingPeople.
- J._Anthony_Hall type LivingThing100004258.
- J._Anthony_Hall type Object100002684.
- J._Anthony_Hall type Organism100004475.
- J._Anthony_Hall type Peer109626238.
- J._Anthony_Hall type Person100007846.
- J._Anthony_Hall type PhysicalEntity100001930.
- J._Anthony_Hall type Professional110480253.
- J._Anthony_Hall type Programmer110481268.
- J._Anthony_Hall type Scholar110557854.
- J._Anthony_Hall type Scientist110560637.
- J._Anthony_Hall type SoftwareEngineers.
- J._Anthony_Hall type Whole100003553.
- J._Anthony_Hall type Worker109632518.
- J._Anthony_Hall type YagoLegalActor.
- J._Anthony_Hall type YagoLegalActorGeo.
- J._Anthony_Hall type Agent.
- J._Anthony_Hall type Person.
- J._Anthony_Hall type Person.
- J._Anthony_Hall type Q215627.
- J._Anthony_Hall type Q5.
- J._Anthony_Hall type Agent.
- J._Anthony_Hall type NaturalPerson.
- J._Anthony_Hall type Thing.
- J._Anthony_Hall type Person.
- J._Anthony_Hall comment "See also other people called Anthony Hall (disambiguation).J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry.".
- J._Anthony_Hall label "J. Anthony Hall".
- J._Anthony_Hall sameAs m.0f73dg.
- J._Anthony_Hall sameAs Q6104618.
- J._Anthony_Hall sameAs Q6104618.
- J._Anthony_Hall sameAs J._Anthony_Hall.
- J._Anthony_Hall wasDerivedFrom J._Anthony_Hall?oldid=605721239.
- J._Anthony_Hall givenName "Anthony".
- J._Anthony_Hall isPrimaryTopicOf J._Anthony_Hall.
- J._Anthony_Hall name "Anthony Hall".
- J._Anthony_Hall name "Hall, Anthony".
- J._Anthony_Hall surname "Hall".