| 词条 | J. 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 educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included:
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. Selected publications
References
External links
11 : Living people|British computer programmers|British computer scientists|Formal methods people|Fellows of the Royal Academy of Engineering|Fellows of the British Computer Society|Alumni of the University of Oxford|Employees of the British Museum|Academics of the University of Sheffield|British software engineers|Year of birth missing (living people) |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。