- Full text PDF available (7)
The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more reliable… (More)
The main purposes in writing this paper are to discuss the importance of formal specifications and to survey a number of promising specification techniques. The role of formal specifications both in proofs of program correctness, and in programming methodologies leading to programs which are correct by construction, is explained. Some criteria are… (More)
System reliability is an important aspect of operating system construction. Because of this, a number of researchers have proposed design methodologies [e. g., 1, 2, 3] which are intended to produce more reliable software. Although the methodologies differ, there seem to be some important properties that they have in common. One property is the… (More)
FORMAC, (FORmula MAnipulation Compiler), is an experimental programming system which can assist scientists in the manipulation of mathematical expressions. It is an extension of FORTRAN IV, thus providing the capability of performing both numeric and non-numeric computations and manipulations in the same program.
Simplification is a central and basic operation in the manipulation of mathematical expressions. Indeed, much of the tedious algebra that plagues scientists and engineers involves the time-consuming application of simplifying transformations to unwieldly mathematical expressions. It seems obvious, conceptually, that some simplifying transformations can be… (More)
Status of this Memo This memo defines an Experimental Protocol for the Internet community. It does not specify an Internet standard of any kind. Discussion and suggestions for improvement are requested. Distribution of this memo is unlimited. This document defines an Experimental protocol for the Internet community. The IESG expects that a revised version… (More)
Requirements definition is the tip of the iceberg of system s development. While it is intended to capture the mos t important aspects of what the user of the system will see, i t must also interface with the further steps of the syste m development process. In particular, because the requirements capture the most important properties of the system , those… (More)