Structuring and Modularity

  title={Structuring and Modularity},
  author={Fernando Orejas},
  booktitle={Algebraic Foundations of Systems Specification},
The algebraic approach originally concentrated on the use of equational logic as the basic formalism for specification. This use was successful in many senses. In particular, the good behaviour of equational logic with respect to a number of semantic constructs has helped to facilitate the study of new specification concepts and constructs. At the same time, the categorical techniques used for the obtention of these results have allowed the generic study of specification constructs with… CONTINUE READING