Robert France
Robert Bertrand France (October 8, 1960 – February 15, 2015) was a Jamaica-born American computer scientist.[1][2]
Robert France | |
---|---|
![]() | |
Born | Robert Bertrand France 8 October 1960 |
Died | 15 February 2015 54) | (aged
Nationality | American |
Citizenship | United States |
Alma mater | University of the West Indies (Trinidad and Tobago), Massey University (New Zealand) |
Known for | Formal methods, Unified Modeling Language, model-driven development |
Awards | Dahl–Nygaard Prize (2014) |
Scientific career | |
Fields | Computer science |
Institutions | Florida Atlantic University, Colorado State University |
Robert B. France was born in Jamaica on October 8, 1960, the eldest son of Robert W. and Jeanette France.[1] He attended high school in Guyana and studied for a BSc degree in Natural Sciences at the University of the West Indies in Saint Augustine, Trinidad and Tobago, majoring in Computer Science and Mathematics and receiving a first class degree in 1984.[3] He then attended Massey University in New Zealand funded by a Commonwealth Scholarship, where he achieved a PhD degree in computer science in 1990.[4] During the same year, he married Sheriffa R. Soleyn in Saint Vincent. They emigrated to the United States together and in due course moved to Fort Collins, Colorado.
During 1990–92, France was a postdoctoral research associate at the Institute for Advanced Computer Studies, University of Maryland. From 1992 to 1997, he was an assistant professor in the computer science and engineering department at Florida Atlantic University (FAU), becoming tenured in 1997–98. France was then appointed an associate professor from 1998 until 2004 and then full professor at Colorado State University within the department of computer science.[3] He undertook research on model-driven software development, especially concerning formal software modeling languages and associated analysis tools.[1] He was co-founder and editor-in-chief of the Software and Systems Modeling journal from 1999 until 2015.[5]
In 2008, Robert France and his co-authors Andy Evans, Kevin Lano, and Bernhard Rumpe, were awarded the Ten Year Most Influential Paper Award at the MODELS 2008 Conference on Model Driven Engineering Languages and Systems for the 1998 paper "The UML as a Formal Modeling Notation".[6] In 2013, France was awarded a five-year International Chair at INRIA in France.[1] He was awarded a senior Dahl–Nygaard Prize for his research by the Association Internationale pour les Technologies Objets (AITO) in 2014. In the same year, he was awarded a Colorado State University, College of Natural Sciences Professor Laureate and an Excellence in Science and Technology Award from the Institute of Caribbean Studies.
Robert France died on February 15, 2015.[7] He had a son and daughter with his wife, Sheriffa.[1]
Selected publications
- Evans, A.; France, R.; Lano, K.; Rumpe, B. (1998). "The UML as a Formal Modeling Notation". The Unified Modeling Language. "UML"'98: Beyond the Notation. Lecture Notes in Computer Science. Vol. 1618. Springer-Verlag. pp. 336–348. arXiv:1409.6919. doi:10.1007/978-3-540-48480-6_26. ISBN 978-3-540-66252-5. S2CID 32729.
- France, R.B.; Kim, D.K.; Ghosh, S.; Song, E. (March 2004). "A UML-based pattern specification technique". IEEE Transactions on Software Engineering. 30 (3): 193–206. doi:10.1109/TSE.2004.1271174. S2CID 401141.
- France, R.; Rumpe, B. (23–25 May 2007). "Model-driven Development of Complex Software: A Research Roadmap". Future of Software Engineering (FOSE '07). pp. 37–54. arXiv:1409.6620. doi:10.1109/FOSE.2007.14. ISBN 978-0-7695-2829-8. S2CID 14920149.
{{cite book}}
:|journal=
ignored (help) - Blair, G.; Bencomo, N.; France, R.B. (October 2009). "Models@ run.time". Computer. IEEE. 42 (10): 22–27. doi:10.1109/MC.2009.326. S2CID 17647617.
- Turk, D.; France, R.; Rumpe, B. (2014). "Limitations of agile software processes". arXiv:1409.6600 [cs.SE].
References
- "In memory: Robert France". Colorado State University. February 19, 2015. Retrieved February 11, 2020.
- "Professor Robert France passes in Colorado, USA". searchlight.vc. Searchlight. February 20, 2015. Retrieved February 11, 2020.
- "Curriculum Vitae for Robert B. France" (PDF). Colorado State University. August 2014. Retrieved February 11, 2020.
- France, Robert (1989). A formal framework for data flow diagrams with control extensions (Doctoral thesis). Massey Research Online, Massey University. hdl:10179/12810.
- Chechik, Marsha; Georg, Geri; Gogolla, Martin; Jezequel, Jean-Marc; Rumpe, Bernhard; Schindler, Martin (April 29, 2015). "In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015". Software & Systems Modeling. Springer-Verlag. 14 (2): 525–532. doi:10.1007/s10270-015-0461-5.
- France, Robert B. (March 2012). "Awards". Colorado State University. Retrieved February 11, 2020.
- Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. BCS-FACS. 2020 (1): 13–29. doi:10.13140/RG.2.2.13481.62560.