Methods of Programming - Selected Papers on the CIP-Project (Paperback, 1991 ed.)

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 544
Release date:	October 1991
First published:	1991
Editors:	Manfred Broy • Martin Wirsing
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	250
Edition:	1991 ed.
ISBN-13:	978-3-540-54576-7
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-54576-X
Barcode:	9783540545767

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!