Mining Software Specifications 9781138114906

Варианты приобретения

Цена: 74510.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 160 шт.
При оформлении заказа до: 2025-08-18
Ориентировочная дата поставки: конец Сентября - начало Октября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Название: Mining Software Specifications
ISBN: 9781138114906
Издательство: Taylor&Francis
Классификация:

Техника автоматического регулирования

Языки программирования и описания сценариев: общие сведения

Технология разработки программного обеспечения

Базы данных

ISBN-10: 1138114901
Обложка/Формат: Paperback
Страницы: 460
Вес: 0.86 кг.
Дата издания: 14.06.2017
Серия: Chapman & hall/crc data mining and knowledge discovery series
Язык: English
Иллюстрации: 25 tables, black and white; 149 illustrations, black and white
Размер: 234 x 155 x 31
Читательская аудитория: Tertiary education (us: college)
Ключевые слова: Software Engineering, COMPUTERS / Databases / Data Mining,COMPUTERS / Machine Theory,COMPUTERS / Programming Languages / General
Основная тема: Software Engineering & Systems Development
Подзаголовок: Methodologies and Applications
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Европейский союз
Описание:

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.

In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications.

According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).

Mining Software Specifications,