Parameterising (Algebraic) Specifications on Diagrams

DOI 10.1109/ase.1998.732654 dblp

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.

BibTeX

@inproceedings{Dimitrakos:ASE98,
  author    = {Theodosis Dimitrakos},
  title     = {Parameterising {(Algebraic)} Specifications on Diagrams},
  booktitle = {ASE},
  pages     = {221--224},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Parameterising (Algebraic) Specifications on Diagrams

Abstract

Related papers