DocumentCode
2383173
Title
Parameterising (algebraic) specifications on diagrams
Author
Dimitrakos, Theodosis
fYear
1998
fDate
13-16 Oct 1998
Firstpage
221
Lastpage
224
Abstract
The paper presents an extension of previous work on the parameterisation of logical and algebraic specifications leading to a novel formalisation of parameterisation which is general enough to become independent of the specificities of the underlying formalism, and flexible enough to accommodate the manipulation of complex parameterised specifications where the parameters are presented by means of diagrams of specifications
Keywords
algebraic specification; diagrams; algebraic specification parameterisation; complex parameterised specifications; diagrams; formalisation; logical specification parameterisation; Art; Concrete; Educational institutions; Electrical capacitance tomography; Laboratories; Programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location
Honolulu, HI
Print_ISBN
0-8186-8750-9
Type
conf
DOI
10.1109/ASE.1998.732654
Filename
732654
Link To Document