A technique for prototyping directly from a specification

Authors:
R. D. Tavendale
Affiliations:
GEC Research Ltd., Chelmsford, CM2 8HN, UK
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 8
Cited 0

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Programming embedded systems with Ada

Programming embedded systems with Ada
Rapid prototyping workshop: overview

Proceedings of the workshop on Rapid prototyping
Operational specification as the basis for rapid prototyping

Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior

Proceedings of the workshop on Rapid prototyping
Rapid prototyping: in the OBJ executable specification language

Proceedings of the workshop on Rapid prototyping
Rapid prototyping and requirements specification using PDS

Proceedings of the workshop on Rapid prototyping
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)

Principles of Compiler Design (Addison-Wesley series in computer science and information processing)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A technique is described for prototyping a system directly from a specification. The technique uses the logic programming language Prolog and involves translating the specification into a Prolog form. This is used in conjunction with a set of functions, also written in Prolog, which provide an operational interpretation of the semantics of the specification language, and a user interface which allows the user to exercise the specification and examine its behaviour.