Bookshelf

| browse books |
books
 

| book details |

Mining Software Specifications: Methodologies and Applications

Edited by David Lo, Edited by Siau-Cheng Khoo, Edited by Jiawei Han, Edited by Chao Liu

| on special |

normal price: R 3 165.95

Price: R 3 007.95


| book description |

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).

| product details |



Normally shipped | This title will take longer to obtain, and should be delivered in 6-8 weeks
Publisher | Taylor & Francis Ltd
Published date | 14 Jun 2017
Language |
Format | Paperback / softback
Pages | 458
Dimensions | 234 x 156 x 0mm (L x W x H)
Weight | 860g
ISBN | 978-1-1381-1490-6
Readership Age |
BISAC | computers / programming / software development


| other options |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 3 817.95
Price | R 3 626.95 | on special |



| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming


Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock


Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.