Джим Дэвис (ученый-компьютерщик)

Чтобы узнать о других людях по имени Джим Дэвис, см. Джим Дэвис (значения) .

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

Биография

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

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

Книги

• Джим Дэвис, Спецификация и доказательство в CSP в реальном времени . Издательство Кембриджского университета , 1993. ISBN   978-0-521-45055-3 .
• Джим Вудкок и Джим Дэвис, Использование Z: спецификация, уточнение и доказательство . Международная серия Прентис-Холл по информатике, 1996. ISBN   978-0-13-948472-8 .
• Джим Дэвис, Билл Роско и Джим Вудкок, Перспективы тысячелетия в области компьютерных наук: материалы Оксфордско- Майкрософтского симпозиума 1999 года в честь сэра Тони Хоара . Пэлгрейв Макмиллан , Краеугольные камни вычислений, 2000. ISBN   978-0-333-92230-9 .