• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES (6)
    • Weischedel,Ralph M (5)
    • Chester,Daniel L (1)
    • Weischedel,Ralph M. (1)
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 6 of 6 1 Prerequisites for Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1983) Abstract: Since English specifications and formal specifications of modules are complementary and since formal specifications require so much effort to write, our work has investigated application of artificial intelligence techniques to aid in the software specification process. The effort for this year concentrated on constructing a small prototype of a system that transforms English descriptions to formal specifications under significant user assistance. Keyword: *Artificial intelligence; *Computer programming; *Natural language; Computational linguistics; Computer Programming and Software; Computer programs; Dictionaries; Heuristic methods; Linguistics; Machine translation; Modular construction; Parsers; PE61102F; Prototypes; Requirements; Semantics; Specifications; Syntax; User needs; WUAFOSR2304A2 URL: http://www.dtic.mil/docs/citations/ADA131722 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA131722 BASE Hide details 2 Handling Ill-Formed Input: Session Introduction Weischedel,Ralph M. In: DTIC AND NTIS (1983) BASE Show details 3 Design of a System That Understands Informal Specifications. Weischedel,Ralph M; Chester,Daniel L In: DTIC AND NTIS (1983) BASE Show details 4 Mapping between Semantic Representations Using Horn Clauses. Weischedel,Ralph M In: DTIC AND NTIS (1983) BASE Show details 5 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1981) BASE Show details 6 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1980) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 6 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0