Software Engineering 1

The art craft discipline logic practice and science of developing large-scale software products needs a believable professional base. The textbooks in this three-volume set combine informal engineeringly sound practice with the rigour of formal mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound but simple basis of insight into discrete...See More