DocumentCode
1070986
Title
A formal description of the structure attribute model for tool interfacing
Author
Burns, A. ; Morrison, I.W.
Author_Institution
Dept. of Comput., Bradford Univ., UK
Volume
4
Issue
2
fYear
1989
fDate
3/1/1989 12:00:00 AM
Firstpage
74
Lastpage
78
Abstract
The structure attribute (SA) model for tool interfacing is introduced and formally defined using the Z specification language. This model provides for a strongly typed interface but without the necessity of generic tools. An inheritance model is incorporated that links the defined types within an IPSE. A further classification of the SAs allows for the controlled application of tools such as editors
Keywords
data structures; formal specification; software tools; specification languages; IPSE; Z specification language; formal description; inheritance model; strongly typed interface; structure attribute model; tool interfacing;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28094
Link To Document