DocumentCode
1398188
Title
X-machines as a basis for dynamic system specification
Author
Holcombe, M.
Author_Institution
Dept. of Comput. Sci., Sheffield Univ., UK
Volume
3
Issue
2
fYear
1988
fDate
3/1/1988 12:00:00 AM
Firstpage
69
Lastpage
76
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
6893
Link To Document