• Refine your search:
  • 
    Keyword:
    
    • Computer Programming and Software (4)
    • Linguistics (3)
    • MODULAR CONSTRUCTION (3)
    • COMPUTER PROGRAMS (2)
    • PE61102F (2)
    • SEMANTICS (2)
    • SYNTAX (2)
    • WUAFOSR2304A2 (2)
    • *Artificial intelligence (1)
    • *COMPUTER AIDED INSTRUCTION (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (4)
  • 
    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 – 4 of 4 1 A Hypermedia Approach to the Design of an Intelligent Tutoring System McGinn, Elizabeth M. In: DTIC AND NTIS (1991) BASE Show details 2 Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program. Volume 2. Appendices. Dahl,Deborah; Dowding,John; Hirschman,Lynette... In: DTIC AND NTIS (1987) BASE Show details 3 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 4 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1981) 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 4 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0