Contracts

This book describes a scientifically solid, yet practically affordable and understandable approach. The developed methodological framework combines process and programming knowledge in a unique way to assure that software eventually complies with user requirements. The presentation is enhanced by best-practices chapters with real-world examples.