Development of a target recognition system using formal and semi-formal software modeling methods
With the shrinking defense budget, the U. S. Department of Defense (DoD) has relied more on commercial-off-the-shelf (COTS) and contracted software systems. Government contractors and commercial developers currently rely heavily on semi-formal methods such as the Unified Modeling Language (UML) in d...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
Monterey, California. Naval Postgraduate School
2012
|
Online Access: | http://hdl.handle.net/10945/9199 |