Роберт Франс
Американский учёный-компьютерщик, родившийся на Ямайке.
Роберт Франс
Рожденный
Роберт Бертран Франция

( 1960-10-08 )8 октября 1960 г.
Ямайка
Умер15 февраля 2015 г. (2015-02-15)(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 году он был удостоен высшей премии Даля-Нигарда за свои исследования от Association Internationale pour les Technologies Objets (AITO). В том же году он был удостоен звания профессора-лауреата Колледжа естественных наук Университета штата Колорадо и премии за выдающиеся достижения в области науки и технологий от Института карибских исследований.

Роберт Франс умер 15 февраля 2015 года. [7] У него были сын и дочь от его жены Шерифы. [1]

Избранные публикации

  • Эванс, А.; Франс, Р.; Лано, К.; Румпе , Б. (1998). «UML как формальная нотация моделирования». Унифицированный язык моделирования. «UML»'98: за пределами нотации . Конспект лекций по информатике. Том 1618. Springer-Verlag . С.  336–348 . arXiv : 1409.6919 . doi :10.1007/978-3-540-48480-6_26. ISBN 978-3-540-66252-5. S2CID  32729.
  • France, RB; Kim, DK; Ghosh, S.; Song, E. (март 2004 г.). «Метод спецификации шаблонов на основе UML». IEEE Transactions on Software Engineering . 30 (3): 193– 206. doi :10.1109/TSE.2004.1271174. S2CID  401141.
  • France, R.; Rumpe, B. (23–25 мая 2007 г.). «Model-driven Development of Complex Software: A Research Roadmap». Future of Software Engineering (FOSE '07) . IEEE . стр.  37–54 . arXiv : 1409.6620 . doi :10.1109/FOSE.2007.14. ISBN 978-0-7695-2829-8. S2CID  14920149. {{cite book}}: |journal=проигнорировано ( помощь )
  • Блэр, Г.; Бенкомо, Н.; Франс, Р.Б. (октябрь 2009 г.). «Models@ run.time». Компьютер . 42 (10). IEEE : 22– 27. doi :10.1109/MC.2009.326. S2CID  17647617.
  • Турк, Д.; Франс, Р.; Румпе, Б. (2014). «Ограничения гибких процессов разработки программного обеспечения». arXiv : 1409.6600 [cs.SE].

Ссылки

  1. ^ abcde "In memory: Robert France". Университет штата Колорадо . 19 февраля 2015 г. Получено 11 февраля 2020 г.
  2. ^ "Профессор Роберт Франс скончался в Колорадо, США". searchlight.vc . Searchlight. 20 февраля 2015 г. Получено 11 февраля 2020 г.
  3. ^ ab "Curriculum Vitae for Robert B. France" (PDF) . Университет штата Колорадо . Август 2014 . Получено 11 февраля 2020 .
  4. ^ Франс, Роберт (1989). Формальная структура для диаграмм потоков данных с расширениями управления (докторская диссертация). Massey Research Online, Massey University. hdl :10179/12810.
  5. ^ Чечик, Марша ; Георг, Джери; Гоголла, Мартин; Жезекель, Жан-Марк; Румпе, Бернхард ; Шиндлер, Мартин (29 апреля 2015 г.). «В память о Роберте Б. Франсе, соучредителе и главном редакторе SoSyM с 1999 по 2015 г.». Программное обеспечение и системное моделирование . 14 (2). Springer-Verlag : 525– 532. doi : 10.1007/s10270-015-0461-5 .
  6. ^ France, Robert B. (март 2012 г.). "Awards". Colorado State University . Получено 11 февраля 2020 г.
  7. ^ Боуэн, Джонатан П. (июнь 2020 г.). «Памяти: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ FACS . 2020 (1). BCS-FACS : 13– 29. doi :10.13140/RG.2.2.13481.62560.
  • Домашняя страница Роберта Франса
  • Роберт Франс на ResearchGate
  • Доктор Роберт Франс, профессор компьютерных наук, Университет штата Колорадо на Vimeo
  • Роберт Б. Франс о DBLP
  • Публикации Роберта Франса, проиндексированные Google Scholar
  • Роберт Франс в проекте «Генеалогия математики»
Взято с "https://en.wikipedia.org/w/index.php?title=Роберт_Франс&oldid=1271198244"