This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program transformations.
Manfred Broy
CIP-Methode CIP-approachch Program Construction Program Development Programm-Entwicklung Programm-Konstruktion Programmiersysteme Programming systems Software Systeme Software systems algorithm algorithms formal method programming programming language