Дж. Энтони Холл - J. Anthony Hall
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Дж. Энтони Холл FREng ведущий Британский инженер-программист специализируясь на использовании формальные методы, особенно Обозначение Z.
Энтони Холл получил образование в Оксфордский университет со степенью бакалавра в химия и DPhil в теоретическая химия. Его последующие посты включали:
- ICI Научный сотрудник отдела теоретической химии, Университет Шеффилда (1971–1973)
- Главный научный сотрудник, британский музей Исследовательская лаборатория (1973–1980)
- Консультант, Systems Programming Limited (1980–1984)
- Главный консультант, Системные проектировщики (1984–1986)
- Посещая профессора, Университет Карнеги Меллон (1994)
- Главный консультант, Критические системы Праксиса (1986–2004)
В частности, Холл работал над разработкой программного обеспечения с использованием формальных методов для Великобритании. Национальные службы воздушного движения (NATS). Он был приглашенным спикером на конференциях, посвященных формальным методам, разработка требований и программная инженерия.
С 2004 года Холл является независимым консультант. Он также был приглашенным профессором в Йоркский университет. Холл был основателем ForTIA, Ассоциация индустрии формальных технологий.
Избранные публикации
- Энтони Холл, Семь мифов о формальных методах, Программное обеспечение IEEE, Сентябрь 1990 г., стр. 11–19.
- Энтони Холл и Родерик Чепмен, Правильность при построении: разработка коммерческой системы безопасности, Программное обеспечение IEEE, Январь / февраль 2002 г., стр. 18–25.
использованная литература
внешние ссылки
- Сайт Энтони Холла
- Энтони Холл в DBLP Сервер библиографии
 | Эта статья о компьютерном специалисте из Соединенного Королевства заглушка. Вы можете помочь Википедии расширяя это. |