• Publications
  • Influence
Non-Deterministic System Specification
TLDR
This paper presents an elementary formal approach (or rather, a catalog of definitions) which provides a general framework for non-deterministic system specification . Expand
  • 7
  • 1
Specification Language
TLDR
"You have e. g. quarrel on hand, I see," said I, "with some of the algebraists of Paris; but proceed." The concept of specification language is now wid.ely spread; formalising a problem is well recognised as a necessary step preceding any programming. Expand
  • 29
  • 1
  • PDF
Object-oriented subsystem specification
  • 66
Object-Oriented Process Specification
TLDR
The specification techniques put forward in [Schuman & Pitt 1987] are a variant on the Z notation, as promulgated by the Programming Research Group at Oxford [cf. Hayes 1987, Spivey 1988a & 1988b], which was in turn strongly influenced by VDM. Expand
  • 42
High-Integrity System Specification and Design
TLDR
A comprehensive introduction to system specification and design methods for high-integrity systems. Expand
  • 49
Constructing quality software
  • 14
Definition mechanisms in extensible programming languages
TLDR
The development of extensible programming languages is currently an extremely active area of research, and one which is considered very promising by a broad segment of the computing community. Expand
  • 9
  • PDF
THE TRANGEN SYSTEM ON THE M460 COMPUTER.
TLDR
This report serves as a user's manual for TRANDIR/TRANGEN on the M460 Univac computer. Expand
  • 4
An extensible interpreter
TLDR
The purpose of this brief paper is to propose an alternative approach for the implementation of an extensible language. Expand
  • 5