DTIC ADA041669: Informality in Program SpecificationsReport as inadecuate



 DTIC ADA041669: Informality in Program Specifications


DTIC ADA041669: Informality in Program Specifications - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: 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

Author: Defense Technical Information Center

Source: https://archive.org/







Related documents