Роберт Франс
Роберт Франс | |
|---|---|
 | |
| Рожденный | Робер Бертран Франция 8 октября 1960 г. |
| Умер | 15 февраля 2015 г. (54 года) |
| Национальность | Американский |
| Гражданство | Соединенные Штаты |
| Альма-матер | Университет Вест-Индии ( Тринидад и Тобаго ), Университет Мэсси ( Новая Зеландия ) |
| Известный | Формальные методы , унифицированный язык моделирования , разработка на основе моделей |
| Награды | Премия Даля – Найгаарда (2014) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Атлантический университет Флориды , Университет штата Колорадо |
Роберт Бертран Франс (8 октября 1960 — 15 февраля 2015) — родившийся на Ямайке американский ученый-компьютерщик, . [1] [2]
Роберт Б. Франс родился на Ямайке 8 октября 1960 года и был старшим сыном Роберта В. и Жанетт Франс. [1] Он учился в средней школе в Гайане и получил степень бакалавра в естественных наук Университете Вест-Индии в Сент-Огастине , Тринидад и Тобаго , по специальности «Информатика и математика» и получил степень первого класса в 1984 году. [3] Затем он поступил в Университет Мэсси в Новой Зеландии , финансируемый стипендией Содружества , где в 1990 году получил степень доктора компьютерных наук . [4] В том же году он женился на шерифе Р. Солейн на Сент-Винсенте . Они вместе эмигрировали в Соединенные Штаты и со временем переехали в Форт-Коллинз , штат Колорадо .
В 1990–92 годах Франс работал научным сотрудником в Институте перспективных компьютерных исследований Университета Мэриленда . С 1992 по 1997 год он был доцентом кафедры информатики и инженерии Атлантического университета Флориды (FAU), а в 1997–98 годах стал постоянным профессором . Затем Франс был назначен доцентом с 1998 по 2004 год, а затем профессором Университета штата Колорадо . факультета компьютерных наук [3] Он проводил исследования в области разработки программного обеспечения на основе моделей , особенно в отношении формальных языков моделирования программного обеспечения и связанных с ними инструментов анализа. [1] Он был соучредителем и главным редактором журнала Software and Systems Modeling с 1999 по 2015 год. [5]
В 2008 году Роберт Франс и его соавторы Энди Эванс, Кевин Лано и Бернхард Румпе были удостоены награды «Самая влиятельная статья десяти лет» на конференции MODELS 2008 по инженерным языкам и системам, управляемым моделями, за статью 1998 года « UML как Формальная нотация моделирования ». [6] В 2013 году Франция была награждена пятилетним международным председательством в INRIA во Франции . [1] В 2014 году он был награжден старшей премией Даля-Найгаарда за свои исследования Международной ассоциацией в области технологий объектов (AITO). В том же году он был удостоен звания профессора Колледжа естественных наук Университета штата Колорадо и звания «Выдающийся научный сотрудник». и премия в области технологий Института карибских исследований.
Роберт Франс умер 15 февраля 2015 года. [7] У него были сын и дочь от жены Шерифы. [1]
Избранные публикации
[ редактировать ]- Эванс, А.; Франция, Р.; Лано, К .; Румпе, Б. (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 .
- Франция, РБ; Ким, ДК; Гош, С.; Сонг, Э. (март 2004 г.). «Техника спецификации шаблонов на основе UML». Транзакции IEEE по разработке программного обеспечения . 30 (3): 193–206. дои : 10.1109/TSE.2004.1271174 . S2CID 401141 .
- Франция, Р.; Румпе, Б. (23–25 мая 2007 г.). «Разработка сложного программного обеспечения на основе моделей: план исследований». Будущее программной инженерии (FOSE '07) . ИИЭЭ . стр. 37–54. arXiv : 1409.6620 . дои : 10.1109/FOSE.2007.14 . ISBN 978-0-7695-2829-8 . S2CID 14920149 .
{{cite book}}:|journal=игнорируется ( помогите ) - Блэр, Г.; Бенкомо, Н.; Франция, РБ (октябрь 2009 г.). «Модели @ run.time». Компьютер . 42 (10). IEEE : 22–27. дои : 10.1109/MC.2009.326 . S2CID 17647617 .
- Терк, Д.; Франция, Р.; Румпе, Б. (2014). «Ограничения гибких программных процессов». arXiv : 1409.6600 [ cs.SE ].
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и «Памяти: Роберт Франс» . Государственный университет Колорадо . 19 февраля 2015 года . Проверено 11 февраля 2020 г.
- ^ «Профессор Роберт Франс проходит в Колорадо, США» . searchlight.vc . Прожектор. 20 февраля 2015 года . Проверено 11 февраля 2020 г.
- ^ Перейти обратно: а б «Биографическая справка Роберта Б. Франса» (PDF) . Государственный университет Колорадо . Август 2014 года . Проверено 11 февраля 2020 г.
- ^ Франция, Роберт (1989). Формальная основа диаграмм потоков данных с расширениями управления (докторская диссертация). Massey Research Online, Университет Мэсси. hdl : 10179/12810 .
- ^ Чечик, Марша; Георг, Джери; Гоголла, Мартин; Жезекель, Жан-Марк; Румпе, Бернхард ; Шиндлер, Мартин (29 апреля 2015 г.). «Памяти Роберта Б. Франса, соучредителя и главного редактора SoSyM с 1999 по 2015 год» . Программное обеспечение и моделирование систем . 14 (2). Спрингер-Верлаг : 525–532. дои : 10.1007/s10270-015-0461-5 .
- ^ Франция, Роберт Б. (март 2012 г.). «Награды» . Государственный университет Колорадо . Проверено 11 февраля 2020 г.
- ^ Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . 2020 (1). БКС-FACS : 13–29. дои : 10.13140/RG.2.2.13481.62560 .
Внешние ссылки
[ редактировать ]- Домашняя страница Роберта Франса
- Роберт Франс на ResearchGate
- Доктор Роберт Франс, профессор компьютерных наук, Университет штата Колорадо on Vimeo
- Роберт Б. Франс о DBLP
- Публикации Роберта Франса, индексируемые Google Scholar
- Роберт Франс в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1960 рождений
- смертей в 2015 г.
- Выпускники Университета Вест-Индии
- Выпускники Университета Мэсси
- Ямайские эмигранты в США
- Американские ученые-компьютерщики
- Формальные методы люди
- Исследователи в области программной инженерии
- Редакторы академических журналов
- Факультет Атлантического университета Флориды
- Преподаватели Университета штата Колорадо