Title :
Parameterising (algebraic) specifications on diagrams
Author :
Dimitrakos, Theodosis
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;
Conference_Titel :
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-8750-9
DOI :
10.1109/ASE.1998.732654
