1 |
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
2 |
Design of a System That Understands Informal Specifications.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
3 |
Mapping between Semantic Representations Using Horn Clauses.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
4 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
5 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
|
|