|
|
libcats.org
Model-Based Software Testing and Analysis with C#Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram SchulteThis book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Managing cyber threatsАвтор: Vipin Kumar, Автор: Jaideep Srivastava, Автор: Aleksandar Lazarevic
Размер книги: 24.49 Mb
Принципиальная схема магнитолы. Вильма-212(Схемы электронных устройств)Автор:Категория: Радио, электроника
Размер книги: 917 Kb
The Walrus Was Ringo: 101 Beatles Myths DebunkedАвтор: Alan Clayson, Автор: Spencer Leigh
Размер книги: 8.97 Mb
Principles of Uncertainty (Chapman & Hall CRC Texts in Statistical Science)Автор: Joseph B. Kadane
Размер книги: 2.95 Mb
Активная сейсмология с мощными вибрационными источникамиАвтор: Алексеев А.С., Автор: Геза Н.И., Автор: Еманов А.Ф., Автор: Кашун В.Н., Автор: Ковалевский В.В., Автор: Манштейн А.К., Автор: Михайленко Б.Г., Автор: Селезнев В.С., Автор: Сердюков С.В., Автор: Собисевич А.Л., Автор: Собисевич Л.Е., Автор: Соловьев В.М., Автор: Хайретдинов М.С., Автор: Чичинин И.С., Автор: Юшин В.И.Категория: науки о земле
Размер книги: 28.28 Mb
The Midwife- A Memoir of Birth, Joy and Hard TimesАвтор: Worth JenniferКатегория: fiction
Размер книги: 443 Kb
|
|
|