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
fDate :
3/1/1989 12:00:00 AM
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;
Journal_Title :
Software Engineering Journal
