DTIC ADA041669: Informality in Program SpecificationsReportar como inadecuado



 DTIC ADA041669: Informality in Program Specifications


DTIC ADA041669: Informality in Program Specifications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: DTIC ADA041669: Informality in Program Specifications
This work is concerned primarily with (1) the procedure by which process-oriented specifications are obtained from goal-oriented requirement specifications and (2) computer based tools for their construction. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would

Autor: Defense Technical Information Center

Fuente: https://archive.org/







Documentos relacionados