Добавляйте интересные книги в свою библиотеку PocketBook.
книга Software Reliability Methods (Texts in Computer Science)
0

Software Reliability Methods (Texts in Computer Science)

  • Сейчас читают 0
  • Отложили 0
  • Прочитали 0
  • Не дочитали 0
Автор:
This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods...Ещё
This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ?hands-on? experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the...
  • 0387951067

Материалы

Отзывы

Раз в месяц дарим подарки самому активному читателю.
Оставляйте больше отзывов, и мы наградим вас!
Чтобы добавить отзыв, вы должны .

Цитаты

Вы можете первыми опубликовать цитату

Чтобы добавить цитату, вы должны .