This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphas

The rigors of engineering must soon be applied to the software development process, or the complexities of new systems will initiate the collapse of companies t

As requirements engineering continues to be recognized as the key to on-time and on-budget delivery of software and systems projects, many engineering programs

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three ma

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating