Computer Science Department
Robert B. France
Professor
- Voice: (970) 491-6356, Fax: (970) 491-2466
- Email: france At cs . colostate . edu
Computer Science Department
Colorado State University
Fort Collins, CO 80523-1873- Office location:
Room 225;
Other Research Activities
International
Collaboration on Aspect-Based Modeling of Complex Software Systems.
Planning grant funded by the National Science
Foundation. PI: France; CO-PI's: Bieman, Ghosh, Georg. Project focuses
on setting up an international research collaboration on aspect-based modeling
of complex systems.
Testing
UML Models.
Research funded by the National Science
Foundation. PI: France; CO-PIs: A. Andrews and S. Ghosh; 2002-2006.
Aspect-Oriented
Approach to Policy Specification.
Funded by AFOSR (Air Force Office of Scientific Research); PI: I.
Ray; CO-PI: France, 2004-2007.
The Precise UML Project (pUML)
Papers on Formalizing OO Models
Past Research Projects
- Using Models to Manage
Large Integrated Systems.
Projects with Qwest and John Deere. - An
Research funded by Qwest and the Colorado Advanced Software Institute, July 2001-August 2002. - Formalizing Object
Oriented Modeling Concepts.
Research funded by the National Science Foundation, 1998-2002. - Methods Integration Research.
Research funded by the National Science Foundation, 1994-1997. - Rigorous Object-Oriented
Development using SDL.
Research carried out in collaboration with Motorola, Boynton Beach, Florida, 1996-1997