Technical Reports

These are project status reports, which are of little academic value but document the engineering details involved in various studies. Most of these are of historic interest only, either because of the early versions of TDF, or because of the early versions of the OS software used.

TDF/ANDF Feasibility Studies

Peeling92

Nic E. Peeling

. TDF facts & figures. Sept. 1992.

Defence Research Agency, Malvern.

Watt93

Jr Thomas J. Watt

. A conformance comparison between ANDF and GCC for X/Open verification of an OSF/1 MK SS platform. March 1993.

Open Software Foundation Research Institute.

Watt93

Jr Thomas J. Watt

. Porting Oracle with the ANDF compiler technology — a progress report. March 1993.

Open Software Foundation Research Institute.

Watt93

Jr Thomas J. Watt

. Porting Oracle with ANDF using an extended common API. June 1993.

Open Software Foundation Research Institute.

Fabre93

Christian Fabre

. ANDFizing OSF/1 R.12 commands. June 1993.

Open Software Foundation Research Institute.

Ford93

Richard L. Ford

Andrew E. Johnson

. Porting ANDF to Microsoft Windows NT. Dec. 1993.

Open Software Foundation Research Institute.

BɪʙT_eX

Loveluck95

James Loveluck

Christian Fabre

. Proposal for an extension to DRA contract MAL1a/0541: Distribution and support service for the DRA TDF/ANDF technology. Dec. 1995.

Open Software Foundation Research Institute.

BɪʙT_eX

Fabre96

Christian Fabre

François de Ferrière

. Java-ANDF feasibility study. June 1996.

Open Software Foundation Research Institute.

BɪʙT_eX

Fabre96

Christian Fabre

François de Ferrière

Fred Roy

. Java-ANDF feasibility study: Final report. 1996.

Open Software Foundation Research Institute.

BɪʙT_eX

de Ferrière96

François de Ferrière

Fred Roy

. Validation of TenDRA capability to implement a set of commands for the Linux operating system. July 1996.

Open Software Foundation Research Institute.

de Ferrière96

François de Ferrière

Fred Roy

. Validation of TenDRA capability to implement a UNIX-like operating system. 1996.

Open Software Foundation Research Institute.

C++Porting

DERA TenDRA developers

. C++ and portability. 1996. Ed.

Katherine Flavel

Defence Evaluation and Research Agency, Malvern.

OSF Programs

We do not have the source code for GANDF, ANC or the AVS suite.

ANC

François de Ferrière

. ANC: ANDF Notation Compiler. June 1993.

Open Software Foundation Research Institute.

Broustaut93

Frédéric Broustaut

Christian Fabre

François de Ferrière

Éric Ivanov

. ANDF Validation Suites specification. March 1993.

OSF Research Institute, Grenoble.

BɪʙT_eX

Broustaut93

Frédéric Broustaut

Christian Fabre

François de Ferrière

Éric Ivanov

. Validation and verification program for ANDF. March 1993.

OSF Research Institute, Grenoble.

BɪʙT_eX

Macrakis93

Stavros Macrakis

. Overview of ANDF validation. July 1993.

Open Software Foundation.

Ford93

Richard L. Ford

. GANDF: A GCC-based ANDF translator. Jan. 1993.

Open Software Foundation Research Institute.

Ford93

Richard L. Ford

. GANDF: Status and design. April 1993.

Open Software Foundation Research Institute.

Ford93

Richard L. Ford

. GANDF: Status III. June 1993.

Open Software Foundation Research Institute.

OSF Institutional

ANDF-1Q93

Ira Goldstein

Andrew Johnson

. ANDF quarterly report, 1Q93. March 1993.

Open Software Foundation.

Johnson92

Andrew Johnson

James Loveluck

Ira Goldtein

. The ANDF technology program at the OSF RI. Dec. 1992.

Open Software Foundation.