Кевин С. Лано (род. 1963) - британский компьютерщик.
Кевин Лано учился в Университете Рединга , получив высшую степень в области математики и информатики, а также в Бристольском университете, где он защитил докторскую диссертацию. [1] Он был создателем формальных объектно-ориентированных методов ( Z ++ ) и разработал комбинацию UML и формальных методов [2] в ряде статей и книг. Он был одним из основателей группы Precise UML , оказавшей влияние на определение UML 2.0 . [ необходима цитата ] Лано опубликовал книгу Advanced Systems Design with Java, UML and MDA (Баттерворт-Хайнеманн , ISBN 0-7506-6496-7 ) в 2005 году. Он также является редактором книги « Семантика и приложения UML 2» , опубликованной Wiley в октябре 2009 года, среди ряда книг по информатике. [3]
Лано раньше работал научным сотрудником в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). Он является читателем на кафедре информатики в Королевском колледже Лондона . [1]
В 2008 году Лано и его соавторы Энди Эванс, Роберт Франс и Бернар Румпе были удостоены награды « Десятилетний самый влиятельный документ» на конференции MODELS 2008 по языкам и системам, управляемым моделями, за статью 1998 года « UML как формальный документ». Обозначение моделирования ». [4]
Избранные публикации [ править ]
- Evans, A .; Франция, Р .; Лано, К .; Румпе, Б. (1998). «UML как формальная нотация моделирования». Международная конференция по единому языку моделирования . Конспект лекций по информатике. Springer-Verlag . 1618 : 336–348. arXiv : 1409,6919 . DOI : 10.1007 / 978-3-540-48480-6_26 . ISBN 978-3-540-66252-5. S2CID 32729 .
Ссылки [ править ]
- ^ а б "Доктор Кевин Лано" . Королевский колледж . Проверено 3 июля 2011 года .
- ^ Таиби, Toufik (2007). Приемы формализации паттернов проектирования . IGI. п. 377 . ISBN 978-1-59904-219-0.
- ^ "Книги:" Кевин Лано " " . Amazon.co.uk . Великобритания . Проверено 10 мая 2016 .
- ^ Франция, Роберт Б. (март 2012 г.). «Награды» . Государственный университет Колорадо . Дата обращения 11 февраля 2020 .
Внешние ссылки [ править ]
- Домашняя страница Кевина Лано
- Кевин Лано из Библиографического сервера DBLP