MONTEREY / CALIFORNIA UML / Arlington / NUMBER UML / /
Company
Doron Drusinsky 15 May / /
Facility
Jefferson Davis Highway / Headquarters Services / /
IndustryTerm
plug-in tool / software engineering / software engineering use / verification technology / real-time systems / /
Organization
National Aeronautics and Space Administration / Directorate for Information Operations and Reports / National Park Service / Department of Defense / NAVAL POSTGRADUATE SCHOOL / NASA’s Orion mission / Department of Computer Science / U.S. Government / /
Person
Peter J. Denning / /
Position
AUTHOR / representative / Daniel T. Oliver President Leonard A. Ferrari Executive Vice President / Chairman / Associate Professor / Karl A. van Bibber Vice President and Dean of Research THIS PAGE INTENTIONALLY LEFT BLANK Form Approved OMB No. / /
ProgrammingLanguage
Java / /
ProvinceOrState
Virginia / California / New Foundland and Labrador / /
UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software