Page: 1 2 3 4 5 6 7 8... 20
| 61 |
Work-Centered Approach to Insurgency Campaign Analysis
|
|
|
|
In: DTIC (2007)
|
|
BASE
|
|
Show details
|
|
|
| 62 |
codation - Verbindung von Code und Zusatzinformation
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007)
|
|
BASE
|
|
Show details
|
|
|
| 63 |
Evaluation of a new assessment scheme for a third-year concurrency course
|
|
|
|
BASE
|
|
Show details
|
|
|
| 64 |
Developing efficient parsers in Prolog: the CLF manual (v1.0)
|
|
|
|
In: https://hal.inria.fr/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18 (2006)
|
|
BASE
|
|
Show details
|
|
|
| 65 |
The QAT: A Qualitative Algebra Toolkit
|
|
|
|
In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006)
|
|
BASE
|
|
Show details
|
|
|
| 66 |
An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
|
|
|
|
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
|
|
|
| 67 |
Information Visualization: The State of the Art for Maritime Domain Awareness
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
|
| 69 |
Parsing and translation of expressions by genetic programming
|
|
|
|
In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005)
|
|
BASE
|
|
Show details
|
|
|
| 70 |
Security Ontology for Annotating Resources
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 71 |
DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT)
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 73 |
Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken
|
|
|
|
BASE
|
|
Show details
|
|
|
| 74 |
Refactoring via database representation
|
|
|
|
In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004)
|
|
BASE
|
|
Show details
|
|
|
| 75 |
Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 76 |
Evaluation of Transcription and Annotation Tools for a Multi-Modal, Multi-Party Dialogue Corpus
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 77 |
Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE)
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
|
| 78 |
Shifting the Computational Paradigm
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
|
| 79 |
Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2182/DIP-2182.pdf (2004)
|
|
BASE
|
|
Show details
|
|
|
| 80 |
Speeding Up a Path-Based Policy Language Compiler
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7 8... 20 |
|
