Digital Library

This 1992 document describes the use of Durra, a task-level application description language, and its associated toolset.

This 1991 report describes the Durra language and incorporates the language changes introduced as a result of our experiences writing application descriptions in Durra.

This document helps Durra application developers acquire an understanding of the concepts necessary to be effective Durra application debuggers.

This report describes Durra, a language and support environment for the specification and execution of distributed Ada applications.

This 1991 paper discusses the relationship between software specification, modeling and prototyping activities as part of a real-time system development strategy.

This report describes the Durra application debugger/monitor, which helps the developer locate errors and/or performance bottlenecks in a Durra application.

This manual is for users of the Durra compiler, runtime system, and support tools.

This report describes an experiment in implementing a command, control, communications and intelligence (C3I) node using reusable components.

This 1988 report describes the Durra Runtime Environment for Durra, a language designed to support PMS-level programming.

This 1988 report describes an experiment in writing task descriptions and type declarations for a subset of the Generalized Image Library, a collection of utilities developed at Carnegie Mellon University.