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 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.
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.
General
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
