Fundamentals of algebraic specifications 2, module specifications and constraints

H. Reichel
1990 Science of Computer Programming  
fJ "c'be present book is the second 1, wne of a three-volume project on algebraic 2; t@ifications. The key topics of this volume under review are module specifications 2nd their interconnections, as means for the algebraic specification of modular systems, and their structuring and constraints as second topic. The book is not aimed at the development of a specific specification language for modular systems. It is devoted to the development of a suitable theoretical framework for the definition
more » ... nd investigation of concepts useful in algebraic specifications of modular systems. It starts with a short historical review of the roots from which the suggested concept of module specification arose. It is mainly
doi:10.1016/0167-6423(90)90052-f fatcat:q4vmoehzozbebmn7bw3isy2rae