|
" Mining software specifications : "
[edited by] David Lo ... [et al.]
Document Type
|
:
|
BL
|
Record Number
|
:
|
665234
|
Doc. No
|
:
|
dltt
|
Title & Author
|
:
|
Mining software specifications : : methodologies and applications /\ [edited by] David Lo ... [et al.]
|
Publication Statement
|
:
|
Boca Raton, FL :: CRC Press,, c2011
|
Series Statement
|
:
|
Chapman & Hall/CRC data mining and knowledge discovery series
|
Page. NO
|
:
|
xvi, 442 p. :: ill. ;; 25 cm
|
ISBN
|
:
|
9781439806265 (hardcover : alk. paper)
|
|
:
|
: 1439806268 (hardcover : alk. paper)
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
Abstract
|
:
|
Computer scientists explain methods for determining specifications for existing and heritage software when no or inadequate documentation is available. Among their topics are mining finite-state automata with annotations, adaptive grammar inference techniques for mining state machines, static specification mining using automata-based abstractions, automatic inference and the effective application of temporal specifications, path-aware static program analyses for specifications, and the lightweight mining of object usage. Annotation ©2011 Book News, Inc., Portland, OR (booknews.com)
|
Subject
|
:
|
Data mining
|
Subject
|
:
|
Data mining-- Mathematical models
|
Subject
|
:
|
Machine learning
|
Dewey Classification
|
:
|
006.3/12
|
LC Classification
|
:
|
QA76.9.D343M558 2011
|
Added Entry
|
:
|
Lo, David
|
| |