Джим Дэвис (специалист по информатике)

Джим Дэвис - Профессор из Разработка программного обеспечения и нынешний директор Программы разработки программного обеспечения в Оксфордский университет, Англия.

Джим Дэвис изучал математику в Нью-Колледже, Оксфорд, поступив в Оксфордский университет. Университетская вычислительная лаборатория (ныне факультет компьютерных наук Оксфордского университета ) в 1986 году для получения степени магистра и доктора. Проработав исследователем и преподавателем в информатике, в Оксфорде, Рединге и Ройал Холлоуэй, Лондонский университет, он стал преподавал программную инженерию в Оксфорде в 1995 году. Он руководил Программой программной инженерии с 2000 года и стал профессором программной инженерии в 2006 году.

Дэвис является экспертом в формальных методах, включая Последовательные процессы связи (CSP) и Z-нотацию.

• Джим Дэвис, Спецификация и подтверждение в CSP в реальном времени. Cambridge University Press, 1993. ISBN 978-0-521-45055-3.
• Джим Вудкок и Джим Дэвис, Использование Z: Спецификация, уточнение, и доказательство. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8.
• Джим Дэвис, Билл Роско и Джим Вудкок, Millennium Perspectives in Computer Science: Proceedings of the 1999 Oxford- Microsoft Симпозиум в честь сэра Тони Хора. Palgrave Macmillan, Cornerstones of Computing, 2000. ISBN 978-0-333-92230-9.