Software Specification Methods
Formal methods (Computer science)Computer softwareSystem design
0.0
Open LibraryAbout this book
This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification courses tend to focus on one or two key techniques and have a theoretical bias; however, this title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. T.
Themes & subjects
Formal methods (Computer science)Computer softwareSystem design
Reviews
No reviews yet — be the first to write one from the Log screen.
Quotes
No quotes yet.
