Project Titles

Introduction
Software Inspection Methods
Development of the Kernel for the New "Table Tool System" Based on an Improved M odel of Tabular Expressions.
Tools to Support the Use of Tabular Expressions in Software Development
Software Test Methods & Computer System Reliability Prediction
TTS Kernal Design, Documentation and Implementation.
The Use of Precise Documentation in the Development of Program Families
Development of Input Tool for Editing Tabular Expressions
TFM Trace Function Method
Presentation (Printing) of Tabular Expressions
Quality Assessment in Real-time Software
Consistency Checking of Software Design Documents
Tabular Expression Based Testing
Design Restrictions for Improved Reliability Predictability of a Software System