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...

Full description

Bibliographic Details
Main Author: Lisowski, Matthew A.
Other Authors: Rowe, Neil
Language:en_US
Published: Monterey, California. Naval Postgraduate School 2012
Online Access:http://hdl.handle.net/10945/9199