Кевин Вул
Кевин Вул | |
|---|---|
| Рожденный | 1963 (60–61 год) |
| Гражданство | Британский |
| Альма-матер | Университет Рединга , Бристольский университет |
| Известный | Формальные методы , Z-нотация , Z++ , UML 2.0 , B-метод |
| Награды | Награда за самую влиятельную статью за десять лет на конференции MODELS 2008 [1] |
| Научная карьера | |
| Поля | Информатика , разработка программного обеспечения |
| Учреждения | Оксфордский университет , Королевский колледж Лондона |
| Веб-сайт | nms.kcl.ac.uk/kevin.lano |
Кевин С. Лано (род. 1963) — британский учёный-компьютерщик .
Жизнь и работа
[ редактировать ]Кевин Лано учился в Университете Рединга , получив высшую степень по математике и информатике, а также в Бристольском университете , где защитил докторскую диссертацию. [2] Он был создателем формальных объектно-ориентированных методов ( Z++ ) и разработал комбинацию UML и формальных методов. [3] в ряде статей и книг. Он был одним из основателей группы Precision UML , оказавшей влияние на определение UML 2.0 . [ нужна ссылка ] Лано опубликовал книгу Advanced Systems Design with Java, UML и MDA ( Butterworth-Heinemann , ISBN 0-7506-6496-7 ) в 2005 году. Он также является редактором книги UML 2 Semantics and Applications , опубликованной Wiley в октябре 2009 года, среди ряда книг по информатике. [4]
Лано ранее работал научным сотрудником в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). Он является преподавателем факультета информатики Королевского колледжа Лондона . [2]
В 2008 году Лано и его соавторы Энди Эванс, Роберт Франс и Бернар Румпе были удостоены награды за десятилетнюю самую влиятельную статью на конференции MODELS 2008 по инженерным языкам и системам, управляемым моделями, за статью 1998 года « UML как формальный стандарт ». Обозначение моделирования ». [1]
Избранные публикации
[ редактировать ]- Лано, К. (1991). «Z++, объектно-ориентированное расширение Z». Николлс, Джон (ред.). Семинар пользователей Z, Оксфорд, 1990 г. Семинары по информатике. Спрингер . стр. 151–172.
- Эванс, А.; Франция, Р. ; Лано, К.; Румпе, Б. (1998). «UML как формальная нотация моделирования». Единый язык моделирования. «UML»'98: За пределами обозначений . Конспекты лекций по информатике . Том. 1618. Шпрингер-Верлаг . стр. 336–348. arXiv : 1409.6919 . дои : 10.1007/978-3-540-48480-6_26 . ISBN 978-3-540-66252-5 . S2CID 32729 .
Книги
[ редактировать ]- Реверс-инжиниринг и сопровождение программного обеспечения ( McGraw-Hill , 1993)
- Примеры объектно-ориентированной спецификации ( Прентис Холл , 1993)
- Формальная объектно-ориентированная разработка ( Springer , 1995)
- Язык и метод B: Руководство по практической формальной разработке (Springer, 1996)
- Проектирование программного обеспечения на Java 2 ( Палгрейв , 2002 г.)
- UML 2 Semantics and Applications ( Wiley , 2009), редактор
- Разработка на основе моделей с использованием UML и Java ( Cengage , 2009).
- Agile MBD с использованием UML-RSDS ( Тэйлор и Фрэнсис , 2016)
- Разработка финансового программного обеспечения (Springer, 2019), с Говардом Хотоном
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Франция, Роберт Б. (март 2012 г.). «Награды» . Государственный университет Колорадо . Проверено 11 февраля 2020 г.
- ^ Перейти обратно: а б «Доктор Кевин Лано» . Великобритания: Королевский колледж Лондона . Архивировано из оригинала 26 марта 2012 года . Проверено 3 июля 2011 г.
- ^ Тайби, Туфик (2007). Методы формализации шаблонов проектирования . ИГИ. п. 377 . ISBN 978-1-59904-219-0 .
- ^ «Книги: «Кевин Лано» » . Amazon.co.uk . Великобритания . Проверено 10 мая 2016 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Кевина Лано
- Кевин Лано на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- 1963 года рождения
- Живые люди
- Выпускники Университета Рединга
- Выпускники Бристольского университета
- английские ученые-компьютерщики
- Формальные методы люди
- Писатели по информатике
- Члены кафедры компьютерных наук Оксфордского университета
- Преподаватели Королевского колледжа Лондона
- Незавершенные статьи о компьютерных специалистах