DocumentCode
1143952
Title
Executable specifications and CASE
Author
Gaskell, Craig ; Phillips, Roger
Author_Institution
Dept. of Comput. Sci., Hull Univ., UK
Volume
9
Issue
4
fYear
1994
fDate
7/1/1994 12:00:00 AM
Firstpage
174
Lastpage
182
Abstract
The idea of executing graphical system models is not new. Several accounts of research in this area are well documented. Despite this, such research is still in its infancy, particularly in relation to CASE environments and the practical application of ideas. The paper considers executability within CASE, with a focus on executable specifications. The importance of executability is highlighted, and some of the work in the held is noted. An experimental executable specification tool is presented. The final conclusions drawn take a look into the envisaged future of executability in CASE
Keywords
formal specification; program compilers; software tools; visual programming; CASE; CASE environments; executability; executable specification tool; executable specifications; graphical system models;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
310706
Link To Document