Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/J._Anthony_Hall> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- J._Anthony_Hall abstract "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 wikiPageLength "2585".
- J._Anthony_Hall wikiPageOutDegree "33".
- J._Anthony_Hall wikiPageRevisionID "708137311".
- J._Anthony_Hall wikiPageWikiLink Altran_Praxis.
- J._Anthony_Hall wikiPageWikiLink British_Museum.
- J._Anthony_Hall wikiPageWikiLink Carnegie_Mellon_University.
- J._Anthony_Hall wikiPageWikiLink Category:Academics_of_the_University_of_Sheffield.
- J._Anthony_Hall wikiPageWikiLink Category:Alumni_of_the_University_of_Oxford.
- J._Anthony_Hall wikiPageWikiLink Category:British_computer_programmers.
- J._Anthony_Hall wikiPageWikiLink Category:British_computer_scientists.
- J._Anthony_Hall wikiPageWikiLink Category:British_software_engineers.
- J._Anthony_Hall wikiPageWikiLink Category:Employees_of_the_British_Museum.
- J._Anthony_Hall wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- J._Anthony_Hall wikiPageWikiLink Category:Fellows_of_the_Royal_Academy_of_Engineering.
- J._Anthony_Hall wikiPageWikiLink Category:Formal_methods_people.
- J._Anthony_Hall wikiPageWikiLink Category:Living_people.
- J._Anthony_Hall wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- J._Anthony_Hall wikiPageWikiLink Chemistry.
- J._Anthony_Hall wikiPageWikiLink Consultant.
- J._Anthony_Hall wikiPageWikiLink Doctor_of_Philosophy.
- J._Anthony_Hall wikiPageWikiLink ForTIA.
- J._Anthony_Hall wikiPageWikiLink Formal_methods.
- J._Anthony_Hall wikiPageWikiLink IEEE_Software.
- J._Anthony_Hall wikiPageWikiLink Imperial_Chemical_Industries.
- J._Anthony_Hall wikiPageWikiLink NATS_Holdings.
- J._Anthony_Hall wikiPageWikiLink Requirements_engineering.
- J._Anthony_Hall wikiPageWikiLink Royal_Academy_of_Engineering.
- J._Anthony_Hall wikiPageWikiLink Software_engineer.
- J._Anthony_Hall wikiPageWikiLink Systems_Designers.
- J._Anthony_Hall wikiPageWikiLink Systems_Programming_Limited.
- J._Anthony_Hall wikiPageWikiLink Theoretical_chemistry.
- J._Anthony_Hall wikiPageWikiLink United_Kingdom.
- J._Anthony_Hall wikiPageWikiLink University_of_Oxford.
- J._Anthony_Hall wikiPageWikiLink University_of_Sheffield.
- J._Anthony_Hall wikiPageWikiLink University_of_York.
- J._Anthony_Hall wikiPageWikiLink Z_notation.
- J._Anthony_Hall wikiPageWikiLinkText "Anthony Hall".
- J._Anthony_Hall wikiPageWikiLinkText "J. Anthony Hall".
- J._Anthony_Hall wikiPageUsesTemplate Template:BLP_sources.
- J._Anthony_Hall wikiPageUsesTemplate Template:DBLP.
- J._Anthony_Hall wikiPageUsesTemplate Template:Multiple_issues.
- J._Anthony_Hall wikiPageUsesTemplate Template:No_footnotes.
- J._Anthony_Hall wikiPageUsesTemplate Template:Other_people.
- J._Anthony_Hall wikiPageUsesTemplate Template:Primary_sources.
- J._Anthony_Hall wikiPageUsesTemplate Template:UK-compu-bio-stub.
- J._Anthony_Hall wikiPageUsesTemplate Template:Use_British_English.
- J._Anthony_Hall wikiPageUsesTemplate Template:Use_dmy_dates.
- 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 hypernym Engineer.
- J._Anthony_Hall type List.
- J._Anthony_Hall type Person.
- J._Anthony_Hall type Scientist.
- J._Anthony_Hall type Curator.
- J._Anthony_Hall type Employee.
- J._Anthony_Hall type List.
- J._Anthony_Hall type Member.
- J._Anthony_Hall type Method.
- J._Anthony_Hall type Programmer.
- J._Anthony_Hall type Scientist.
- J._Anthony_Hall comment "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 Q6104618.
- J._Anthony_Hall sameAs m.0f73dg.
- J._Anthony_Hall sameAs Q6104618.
- J._Anthony_Hall wasDerivedFrom J._Anthony_Hall?oldid=708137311.
- J._Anthony_Hall isPrimaryTopicOf J._Anthony_Hall.