Джим Дэвис (ученый-компьютерщик) - Jim Davies (computer scientist)
Джим Дэвис является Профессор из Программная инженерия и нынешний директор Программа разработки программного обеспечения на Оксфордский университет, Англия.[1]
биография
Джим Дэвис учился математика в Новый колледж, Оксфорд, поступив в вычислительную лабораторию Оксфордского университета (ныне Оксфордский университет, факультет компьютерных наук ) в 1986 году для получения степени магистра и доктора.[1] Проработав научным сотрудником и преподавателем в Информатика, в Оксфорд, Чтение, и Ройал Холлоуэй, Лондонский университет, он стал преподавателем программной инженерии в Оксфорде в 1995 году.[1] С 2000 года он руководит программой программной инженерии, а в 2006 году стал профессором программной инженерии.[1]
Дэвис является экспертом в формальные методы, включая Связь последовательных процессов (CSP) и Обозначение Z.
Книги
- Джим Дэвис, Спецификация и подтверждение в реальном времени CSP. Издательство Кембриджского университета, 1993. ISBN 978-0-521-45055-3.
- Джим Вудкок и Джим Дэвис, Использование Z: спецификация, уточнение и доказательство. Prentice-Hall Международная серия по информатике, 1996. ISBN 978-0-13-948472-8.
- Джим Дэвис, Билл Роско, и Джим Вудкок, Millennium Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Симпозиум в честь сэра Тони Хоар. Пэлгрейв Макмиллан, Краеугольные камни вычислительной техники, 2000. ISBN 978-0-333-92230-9.
Рекомендации
- ^ а б c d "Джим Дэвис: Оксфордский университет". Получено 26 сентября 2009.
