DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

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

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
5
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern