Джим Дэвис (ученый-компьютерщик) - Википедия - 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.

Рекомендации