It is an introduction to the science of writing programs, the engineering of software. It is not a book concerned with writing programs in a particular programming language, nor is it a collection of standard algorithms for solving common problems. It is about the creation of software designs which are guaranteed to meet their requirements, that are correct — and correctness cannot be qualified, software is either correct or it isn’t.
KeywordsTransformation Rule Program Design Programming Paradigm Procedural Program Software Artefact
Unable to display preview. Download preview PDF.