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)
|
|
BASE
|
|
Show 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
|
|
72 |
CZT: A framework for Z tools
|
|
|
|
Abstract:
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z. © Springer-Verlag Berlin Heidelberg 2005.
|
|
Keyword:
community Z tools (CZT); FoR 0803 (Computer Software)
|
|
URL: https://doi.org/10.1007/11415787_5
|
|
BASE
|
|
Hide 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
|
|