Роберт Франс - Robert France

Роберт Франс
Роберт Франс, компьютерный ученый.jpg
Родился
Роберт Бертран Франция

(1960-10-08)8 октября 1960 г.
Ямайка
Умер15 февраля 2015 г.(2015-02-15) (54 года)
Колорадо, Соединенные Штаты
НациональностьАмериканец
ГражданствоСоединенные Штаты
Альма-матерУниверситет Вест-Индии (Тринидад и Тобаго ), Университет Мэсси (Новая Зеландия )
ИзвестенФормальные методы, Единый язык моделирования, модельно-ориентированная разработка
НаградыПриз Даля – Найгаарда (2014)
Научная карьера
ПоляИнформатика
УчрежденияАтлантический университет Флориды, Государственный университет Колорадо
Под влияниемЭнди Эванс, Кевин Лано, Бернхард Румпе

Проф. Роберт Бертран Франция (8 октября 1960 г. - 15 февраля 2015 г.) Ямайка - рожденный американец специалист в области информатики.[1][2]

Роберт Б. Франс родился в Ямайка 8 октября 1960 года старший сын Роберта В. и Жанетт Франс.[1] Он учился в средней школе в Гайана и учился Степень бакалавра в Естественные науки на Университет Вест-Индии в Святой Августин, Тринидад и Тобаго по специальности «Информатика и математика», получив степень первая степень в 1984 г.[3] Затем он посетил Университет Мэсси в Новая Зеландия финансируется Стипендия Содружества, где он достиг Степень доктора философии в Информатика в 1990 году. В том же году он женился на Шерифе Р. Солейн в Сент-Винсент. Они эмигрировали в Соединенные Штаты вместе и со временем переехали в Форт Коллинз, Колорадо.

В 1990–92 гг. Франция была научным сотрудником постдокторантуры в Институте перспективных компьютерных исследований. Университет Мэриленда. С 1992 по 1997 год он был доцент в отделе компьютерных наук и инженерии в Атлантический университет Флориды (FAU), став постоянный в 1997–98 гг. Затем Франция была назначена доцент с 1998 по 2004 год, а затем полный профессор в Государственный университет Колорадо в рамках факультета компьютерных наук.[3] Он провел исследование разработка программного обеспечения на основе моделей, особенно в отношении формальных языков моделирования программного обеспечения и связанных с ними инструментов анализа.[1] Он был соучредителем и Главный редактор из Программное и системное моделирование журнал с 1999 по 2015 год.[4]

В 2008 году Роберт Франс и его соавторы Энди Эванс, Кевин Лано, и Бернхард Румпе были награждены Десятилетняя премия за самую влиятельную газету на конференции MODELS 2008 по Инженерные языки и системы на основе моделей для газеты 1998 г. "UML как формальная нотация моделирования".[5] В 2013 году Франция получила пятилетнюю международную кафедру в INRIA в Франция.[1] Был награжден старшим Приз Даля – Найгаарда за свои исследования Международной ассоциацией технологических объектов (AITO) в 2014 году. В том же году он был удостоен звания профессора Колледжа естественных наук Университета штата Колорадо и награды за выдающиеся достижения в области науки и технологий Института Карибских исследований. .

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

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

  • Эванс, А .; Франция, Р .; Лано, К.; Румпе, Б. (1998). «UML как формальная нотация моделирования». Международная конференция по единому языку моделирования. Конспект лекций по информатике. Springer-Verlag. 1618: 336–348. arXiv:1409.6919. Дои:10.1007/978-3-540-48480-6_26. ISBN  978-3-540-66252-5. S2CID  32729.
  • Франция, R.B .; Kim, D.K .; Ghosh, S .; Сонг, Э. (март 2004 г.). «Метод спецификации шаблонов на основе UML». IEEE Transactions по разработке программного обеспечения. 30 (3): 193–206. Дои:10.1109 / TSE.2004.1271174. S2CID  401141.
  • Франция, Р .; Румпе, Б. (23–25 мая 2007 г.). «Модельно-ориентированная разработка сложного программного обеспечения: план исследований». Будущее программной инженерии (FOSE'07). IEEE: 37–54. arXiv:1409.6620. Дои:10.1109 / FOSE.2007.14. ISBN  978-0-7695-2829-8. S2CID  14920149.
  • Blair, G .; Bencomo, N .; Франция, РБ (октябрь 2009 г.). «Модели @ run.time». Компьютер. IEEE. 42 (10): 22–27. Дои:10.1109 / MC.2009.326. S2CID  17647617.
  • Turk, D .; Франция, Р .; Румпе, Б. (2014). «Ограничения гибких программных процессов». arXiv:1409.6600 [cs.SE ].

Рекомендации

  1. ^ а б c d е «На память: Роберт Франс». Государственный университет Колорадо. 19 февраля 2015 г.. Получено 11 февраля, 2020.
  2. ^ «Профессор Роберт Франс проходит в Колорадо, США». searchlight.vc. Прожектор. 20 февраля 2015 г.. Получено 11 февраля, 2020.
  3. ^ а б "Биографическая справка Роберта Б. Франса" (PDF). Государственный университет Колорадо. Август 2014 г.. Получено 11 февраля, 2020.
  4. ^ Чечик, Марша; Георг, Гери; Гоголла, Мартин; Джезекель, Жан-Марк; Румпе, Бернхард; Шиндлер, Мартин (29 апреля 2015 г.). «Памяти Роберта Б. Франса, соучредителя и главного редактора SoSyM с 1999 по 2015 годы». Программное обеспечение и моделирование систем. Springer-Verlag. 14 (2): 525–532. Дои:10.1007 / s10270-015-0461-5.
  5. ^ Франция, Роберт Б. (март 2012 г.). "Награды". Государственный университет Колорадо. Получено 11 февраля, 2020.
  6. ^ Боуэн, Джонатан П. (Июнь 2020 г.). "In Memoriam: дань уважения пяти коллегам по формальным методам" (PDF). FACS ФАКТЫ. BCS-FACS. 2020 (1): 13–29. Дои:10.13140 / RG.2.2.13481.62560.

внешняя ссылка