• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (49)
  • 
    BLLDB-Access:
    • free (49)
    • subject to license (0)

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 Page: 1 2 3 Hits 1 – 20 of 49 1 MUC-3 Test Results and Analysis Montgomery, Christine A.; Stalls, Bonnie G.; Belvin, Robert S.... In: DTIC (1991) BASE Show details 2 Development and Application of a Military Intelligence (MI) Job Comparison and Analysis Tool (JCAT) Seven, Sally; Akman, Allan; Muckler, Frederick A.... In: DTIC AND NTIS (1991) BASE Show details 3 Netlist +: A Simple Interface Language for Chip Design Wuu, Tzyh-Yung In: DTIC AND NTIS (1991) BASE Show details 4 An Algorithm for Parsing Flow Graphs Brotsky, Daniel Carl In: DTIC AND NTIS (1984) BASE Show details 5 Requirements for Natural Language Understanding in a System with Graphic Displays Sidner, Candace L; Bates, Madeleine In: DTIC AND NTIS (1983) BASE Show details 6 An Overview of the Penman Text Generation System. Mann,William C In: DTIC AND NTIS (1983) BASE Show details 7 Limited Connected Speech T&E. Shamsi,Edward; Welch,John R In: DTIC AND NTIS (1981) BASE Show details 8 Automatic Recognition of Phonemes Using a Syntactic Processor for Error Correction. Taylor,Robert B In: DTIC AND NTIS (1980) BASE Show details 9 FLAT: A FORTRAN Language Augmentation Tool Osterweil,Leon J; Myers,Eugene W , Jr In: DTIC AND NTIS (1980) BASE Show details 10 Toward a Computational Theory of Indirect Speech Acts. Brown,Gretchen P In: DTIC AND NTIS (1979) BASE Show details 11 Consolidation of Military Pay and Personnel Functions (Copper). Volume II In: DTIC AND NTIS (1978) BASE Show details 12 Representation and Process in Transitive Inference. Sternberg,Robert J In: DTIC AND NTIS (1978) BASE Show details 13 Alpha/Numeric Extraction Technique Phase II. Scott,Phillips B In: DTIC AND NTIS (1977) BASE Show details 14 The Inference of Domain Structure from Informal Process Descriptions Goldman, Neil; Balzer, Robert; Wile, David In: DTIC AND NTIS (1977) BASE Show details 15 JAVS Technical Report. Methodology Report. Brooks,N B; Gannon,C In: DTIC AND NTIS (1977) Abstract: The JOVIAL Automated Verification System (JAVS) is a tool for analyzing source programs written in the J3 dialect of the JOVIAL language. From the user's viewpoint, JAVS consists of a sequence of processing steps which (1) analyze his JOVIAL source text, (2) guide him in preparing test cases for his programs, (3) analyze the results of tests executed by his programs, and (4) automatically document his programs. This report describes the application of a testing methodology utilizing an Automated Verification System (AVS) such as JAVS. Sections of this report present an overview of the testing methodology and the capabilities of JAVS and describe actual testing experience with JAVS, the general role of an AVS in applying the testing methodology, practical techniques for particular test situations, and expanded capabilities for advanced AVS implementations. (Author) ; See also Volume 1, AD-A040 103. Keyword: *COMPUTER PROGRAM DOCUMENTATION; *COMPUTER PROGRAM VERIFICATION; *Computer software; *JOVIAL; AUTOMATIC; Computer Programming and Software; COMPUTER PROGRAMS; FLOW CHARTING; PE63728F; PROGRAMMING LANGUAGES; PROGRAMMING MANUALS; SYNTAX; USER NEEDS; VALIDATION; WURADC55500838 URL: http://www.dtic.mil/docs/citations/ADA041048 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA041048 BASE Hide details 16 JAVS Technical Report. User's Guide. Gannon,C; Brooks,N B; Urban,R J In: DTIC AND NTIS (1977) BASE Show details 17 Studies and Design Specifications for Computerized Measurement of Textual Comprehensibility. Siegel,Arthur I; Williams,Allan R; Lapinsky,Walter J... In: DTIC AND NTIS (1976) BASE Show details 18 Getting the GIST: A Computational Theory of Sentence Understanding Nakajima,Shigeki In: DTIC AND NTIS (1976) BASE Show details 19 Methodology for Comprehensive Software Testing. Miller,E. F. , Jr In: DTIC AND NTIS (1975) BASE Show details 20 A Survey of Speech Understanding Systems Technology. Christy, Donald O. In: DTIC AND NTIS (1973) BASE Show details Page: 1 2 3

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 49 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0