Title :
X-machines as a basis for dynamic system specification
Author_Institution :
Dept. of Comput. Sci., Sheffield Univ., UK
fDate :
3/1/1988 12:00:00 AM
Abstract :
Discusses the concept of an X-machine, which is a general model of computation, with the intention of using this model in the specification of computer systems. The elementary theory of these constructs is briefly described, but the bulk of the paper is concerned with looking at some examples and the ways that these ideas might be useful in the description and analysis of almost any system
Keywords :
Turing machines; programming theory; software engineering; Turing machines; X-machine; dynamic system specification; programming theory; software engineering;
Journal_Title :
Software Engineering Journal
