Faithin Omaha eBook Collection

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

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

Summary Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stak

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

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