Дж. Энтони Холл - J. Anthony Hall
 | Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)
|
Дж. Энтони Холл FREng жетекші болып табылады Британдықтар инженер-бағдарламашы қолдануға мамандандырылған формальды әдістер, әсіресе Z белгісі.
Энтони Холл білім алған Оксфорд университеті бакалавры бар химия және а DPhil жылы теориялық химия. Оның келесі жазбаларына мыналар кірді:
- ICI Теориялық химия кафедрасының ғылыми қызметкері, Шеффилд университеті (1971–1973)
- Бас ғылыми қызметкер, Британ мұражайы Зертхана (1973–1980)
- Аға консультант, Жүйелік бағдарламалау шектеулі (1980–1984)
- Бас консультант, Жүйелік дизайнерлер (1984–1986)
- Қонақ профессор, Карнеги Меллон университеті (1994)
- Бас консультант, Praxis Critical Systems (1986–2004)
Атап айтқанда, Холл Ұлыбритания үшін формальды әдістерді қолдана отырып бағдарламалық жасақтама жасау бойынша жұмыс жасады Ұлттық әуе қозғалысы қызметі (NATS). Ол ресми әдістермен байланысты конференцияларға шақырылған спикер болды, инженерлік талаптар және бағдарламалық қамтамасыз ету.
2004 жылдан бастап Холл тәуелсіз болды кеңесші. Ол сонымен қатар профессор Йорк университеті. Холл құрылтай төрағасы болды ForTIA, формальды әдістер саласы қауымдастығы.
Таңдалған басылымдар
- Энтони Холл, формальды әдістердің жеті мифі, IEEE бағдарламалық жасақтамасы, Қыркүйек 1990 ж., 11-19 бет.
- Энтони Холл және Родерик Чэпмен, құрылыс бойынша дұрыстық: коммерциялық қауіпсіз жүйені дамыту, IEEE бағдарламалық жасақтамасы, Қаңтар / ақпан 2002 ж., 18-25 бб.
Әдебиеттер тізімі
Сыртқы сілтемелер
- Anthony Hall веб-сайты
- Энтони Холл кезінде DBLP Библиография сервері
 | Бұл мақала Ұлыбританияның компьютер маманы бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |