A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Fundamentals of algebraic specifications 2, module specifications and constraints
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
doi:10.1016/0167-6423(90)90052-f
fatcat:q4vmoehzozbebmn7bw3isy2rae