• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (8)
    • Custy, E. J. (1)
    • DeCloss, Daniel P. (1)
    • Gallup, Shelly P. (1)
    • Guven, Ahmet (1)
    • Lovejoy, Robert S. (1)
    • MacKinnon, Douglas J. (1)
    • Nguyen, Qui V (1)
    • Porter, Scott W. (1)
    • Scholz, Thomas (1)
    •   more
  • 
    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 – 8 of 8 1 Maritime Domain Awareness via Agent Learning and Collaboration Zhao, Ying; MacKinnon, Douglas J.; Gallup, Shelly P.... In: DTIC (2010) BASE Show details 2 Enhancing a Web Crawler with Arabic Search Capability Nguyen, Qui V In: DTIC (2010) BASE Show details 3 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) Abstract: Formal verification is required for systems that require high assurance. Formal verification can require large and complex proofs that can drastically affect the development life cycle. Through the use of a verification system, such proofs can be managed and completed in an efficient manner. A verification system consists of a specification language that can express formal logic and an automated theorem tool that can be used to verify theorems and conjectures within the specifications. One example of a verification system is Specware. This thesis presents an analysis of Specware against a set of evaluation criteria in order to determine the level of usefulness Specware can have in the verification of high assurance systems. This analysis revealed that Specware contains a powerful specification language capable of representing higher order logic in a simple and expressive manner. Specware is able to represent multiple levels of abstraction and generate proof obligations regarding specification correctness and interlevel mapping. The theorem prover associated with Specware was found to be lacking in capability. Through this analysis we found that Specware has great potential to be an excellent verification system given improvement upon the theorem prover and strengthening of weaknesses regarding linguistic components. Keyword: *INFORMATION ASSURANCE; *PROGRAMMING LANGUAGES; *VERIFICATION; AUTOMATION; Computer Programming and Software; LANGUAGE; LIFE CYCLES; LOGIC; SOFTWARE TOOLS; SPECIFICATIONS; SPECWARE; TEST AND EVALUATION; THEOREMS; THESES URL: http://www.dtic.mil/docs/citations/ADA451439 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA451439 BASE Hide details 4 Speeding Up a Path-Based Policy Language Compiler Guven, Ahmet In: DTIC AND NTIS (2003) BASE Show details 5 An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench Custy, E. J. In: DTIC AND NTIS (2003) BASE Show details 6 The State Transition Diagram with Path Priority and It's Applications Scholz, Thomas In: DTIC AND NTIS (1993) BASE Show details 7 Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach Lovejoy, Robert S. In: DTIC AND NTIS (1992) BASE Show details 8 Design of a Syntax Directed Editor for PSDL (Prototype Systems Design Language) Porter, Scott W. In: DTIC AND NTIS (1988) 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 8 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0