| 1 |
An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A Platform for Multilingual Research in Spoken Dialogue Systems
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Corpora and Data Preparation for Information Extraction
|
|
|
|
In: DTIC (1993)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
The Pegasys Environment for Graphical Documentation of Large Programs
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Netlist +: A Simple Interface Language for Chip Design
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Using the Feature Exchange Language in the Next Generation Controller
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
What a Software Engineer Needs to Know: 1. Program Vocabulary
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Design of a Syntax Directed Editor for PSDL (Prototype Systems Design Language)
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A Non-Cognitive Formal Approach to Knowledge Representation in Artificial Intelligence.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
BIGMAC II: A FORTRAN Language Augmentation Tool
|
|
|
|
In: DTIC (1980)
|
|
BASE
|
|
Show details
|
|
|
|
|
