Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.

Cognitive Concepts LLC (CC) is a small business that specializes in software reliability engineering. In the past several years CC has become convinced that the best available practice for software reliability on complex systems is model-based specification and testing (MST). CC completed a small bu...

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:Software engineering notes. 30, 5 (2005).
Príomhchruthaitheoir: Lakey, Peter B.
Formáid: Alt
Teanga:English
Ábhair: