Parameterising (algebraic) specifications on diagrams
- Resource Type
- Conference
- Authors
- Dimitrakos, T.
- Source
- Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Automated software engineering Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on. :221-224 1998
- Subject
- Computing and Processing
Concrete
Educational institutions
Laboratories
Art
Programming
Electrical capacitance tomography
- Language
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.