61 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
62 |
BIGMAC II: A FORTRAN Language Augmentation Tool
|
|
|
|
In: DTIC (1980)
|
|
BASE
|
|
Show details
|
|
63 |
Numerical Control Lathe Language Study.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
64 |
THE FORMAL DEFINITION OF MACHINE TOOL LANGUAGES
|
|
|
|
In: DTIC AND NTIS (1969)
|
|
BASE
|
|
Show details
|
|
|
|