Fiscal Year	2007
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Drusinsky, Doron
Sponsor	National Aeronautics & Space Administration (Other-Fed)
Summary	Assist and guide NASA IV&V Center in UML based specification modeling, programming, code-generation, validation, testing and verification of safety critical systems and distributed systems.
Keywords
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal