Summaries - Office of Research & Innovation
Research Summaries
Back Formal UML Requirement Specification-Based Automatic Software Testing
Fiscal Year | 2008 |
Division | Graduate School of Operational & Information Sciences |
Department | Computer Science |
Investigator(s) | Drusinsky, Doron |
Sponsor | Marine Corps Systems Command (Marine Corps) |
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 |