Software Engineering 1
shared
This Book is Out of Stock!


LOOKING TO PLACE A BULK ORDER?CLICK HERE

Piracy-free
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
Fast Delivery
Fast Delivery
Sustainably Printed
Sustainably Printed
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
19111
Out Of Stock
All inclusive*

About The Book

<P>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.</P> <P>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 mathematics: numbers sets Cartesians types functions the Lambda Calculus algebras and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B VDM-SL and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional) imperative and concurrent (parallel) specification programming. Finally the volume contains a comprehensive glossary of software engineering and extensive indexes and references.</P> <P>These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks with solutions to many of the exercises presented and with a complete set of lecture slides.</P>
downArrow

Details