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: | 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 |
Similar Items
-
Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009) -
Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009) -
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems
by: Raja Oueslati, et al.
Published: (2018-01-01) -
Semi-Formal ECO Method
by: Chia-Lin Hsieh, et al.
Published: (2018) -
Usability of semi-formal and formal methods integration : empirical assessments
by: Razali, Rozilawati
Published: (2008)