Algebraic Specification Techniques in Object Oriented Programming Environments

An integrated environment of classes and algebraic specifications - Basic notions and concepts.- A semantic framework of abstract data types.- A theory of inheritance, subtyping and clientship.- OS - An object oriented algebraic specification language.- OP - An object oriented kernel programming language.- An integrated design environment of classes and algebraic specifications.- Final remarks.