Rapid prototyping by means of abstract module specifications written as trace axioms

Authors:
John K. Dixon;John McLean;David L. Parnas
Affiliations:
-;-;-
Venue:
Proceedings of the workshop on Rapid prototyping
Year:
1982

Citing 12
Cited 3

Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
A technique for software module specification with examples

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
The design of the virtual memory aspects of a virtual machine

Proceedings of the workshop on virtual computer systems
Abstract data types and the development of data structures

Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables

Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Design and specification of the minimal subset of an operating system family (Abstract only)

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Response to undesired events in software systems

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Implications of a virtual memory mechanism for implementing protection in a family of operating systems

Implications of a virtual memory mechanism for implementing protection in a family of operating systems
The specification and application to programming of abstract data types.

The specification and application to programming of abstract data types.

A Formal Method for the Abstract Specification of Software

Journal of the ACM (JACM)
A plausibility-driven approach to computer architecture design

Communications of the ACM
Architecture prototyping in the software engineering environment

IBM Systems Journal

Quantified Score

Hi-index	0.02

Visualization

Abstract

In this paper we discuss the use of a form of abstract specifications for software modules called trace axioms or trace assertions. Specifications written in this form precisely describe the external behavior of the module and can be automatically tested for consistancy and completeness. Errors revealed by the testing process can be rapidly corrected by a man-machine interactive process. These specifications could then be interpreted or compiled to form a rapid prototype of the final system.