• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (19)
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (7)
    • NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS) (5)
    • DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES (4)
    • Weischedel,Ralph M (4)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)) (3)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay (3)
    • Direction de Recherche Technologique (CEA) (DRT (CEA)) (3)
    • Département Ingénierie Logiciels et Systèmes (DILS) (3)
    • IBM WATSON RESEARCH CENTER YORKTOWN HEIGHTS N Y (3)
    •   more
  • 
    Year:
    
    • 2021 (2)
    • 2020 (3)
    • 2019 (1)
    • 2018 (1)
    • 2017 (1)
    • 2016 (5)
    • 2015 (5)
    • 2014 (3)
    • 2013 (1)
    • 2012 (2)
    •   more
  • 
    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 Page: 1 2 3 4 5 6 7 Hits 81 – 100 of 125 81 Prerequisites for Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1983) BASE Show details 82 The Gist Behavior Explainer. Swartout,William R In: DTIC AND NTIS (1983) BASE Show details 83 Design of a System That Understands Informal Specifications. Weischedel,Ralph M; Chester,Daniel L In: DTIC AND NTIS (1983) BASE Show details 84 Functional Semantics. Hamlet,Richard; Mills,Harlan In: DTIC AND NTIS (1982) BASE Show details 85 Parsing and Generating English Using Commutative Transformations. Katz,Boris; Winston,Patrick H In: DTIC AND NTIS (1982) BASE Show details 86 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1981) BASE Show details 87 The METAL System. Volume I and Volume II. Appendices. Lehmann,Winfred P; Bennett,Winfield S; Slocum,Jonathan... In: DTIC AND NTIS (1981) BASE Show details 88 The Production of the AGARD Multilingual Aeronautical Dictionary Using Computer Techniques Wente,Van A; Kirschbaum,J C; Kuney,J H In: DTIC AND NTIS (1981) BASE Show details 89 ADA Exceptions: Specification and Proof Techniques. Luckham,D C; Polak,W In: DTIC AND NTIS (1980) BASE Show details 90 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1980) BASE Show details 91 Towards a Theory for Abstract Data Types. Kapur,Deepak In: DTIC AND NTIS (1980) BASE Show details 92 Theory of Compiler Specification and Verification. Polak,Wolfgang Heinz In: DTIC AND NTIS (1980) BASE Show details 93 Specifying the Semantics of While-Programs: A Tutorial and Critique of a Paper by Hoare and Lauer Grief,Irene; Meyer,Albert R In: DTIC AND NTIS (1979) BASE Show details 94 On the Specification of Database Semantic Integrity Brodie, Michael L In: DTIC AND NTIS (1979) BASE Show details 95 An Evaluation of Process and Experiment Automation Realtime Language (PEARL) Williams,J H In: DTIC AND NTIS (1977) BASE Show details 96 Abstract Data Types and Software Validation Guttag, John V; Horowitz, Ellis; Musser, David R In: DTIC AND NTIS (1976) BASE Show details 97 SPECIAL - A Specification and Assertion Language. Robinson,Lawrence; Roubine,Olivier In: DTIC AND NTIS (1976) BASE Show details 98 A Review of Architectural Methods and Their Effectiveness for Communicating Human Requirements. Durkin,Michael E. In: DTIC AND NTIS (1975) BASE Show details 99 Methodology for Comprehensive Software Testing. Miller,E. F. , Jr In: DTIC AND NTIS (1975) BASE Show details 100 LANT/ISS Subsystem Specifications. Volume 4. Analytical Procedures. Jacobson, D. C.; Pollett, W. G.; Harder, R. In: DTIC AND NTIS (1973) BASE Show details Page: 1 2 3 4 5 6 7

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