Specification Case Studies in RAISEHung Dang Van Springer Science & Business Media, 2002 M02 8 - 405 pages This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. |
Contents
Knowledge Acquisition for Goal Prediction in a MultiUser Adventure Game | 1 |
The Next Generation | 13 |
Discovering Case Knowledge Using Data Mining | 25 |
A New and Faster Algorithm and Its Application to Basket Analysis | 36 |
Effect of Data Skewness in Parallel Mining of Association Rules | 48 |
A Case Study | 61 |
Interestingness of Discovered Association Rules in Terms of NeighborhoodBased Unexpectedness | 72 |
Point Estimation Using the KullbackLeibler Loss Function and MML | 87 |
Knowledge Discovery in Discretionary Legal Domains | 336 |
Scaling Up the Rule Generation of C45 | 348 |
Data Mining Based on the Generalization Distribution Table and Rough Sets | 360 |
Constructing Personalized Information Agents | 374 |
Towards Real Time Discovery from Distributed Information Sources | 376 |
Constructing Conceptual Scales in Formal Concept Analysis | 378 |
The Hunter and the Hunted Modelling the Relationship Between Web Pages and Search Engines | 380 |
An Efficient Global Discretization Method | 383 |
Single Factor Analysis in MML Mixture Modelling | 96 |
Discovering Associations in Spatial Data An Efficient Medoid Based Approach | 110 |
Data Mining Using Dynamically Constructed Recurrent Fuzzy Neural Networks | 122 |
Clustering Categorical Attributes into Interesting Association Rules | 132 |
An Efficient Method for Spatial Data Cube Construction | 144 |
Mining Market Basket Data Using Share Measures and Characterized Itemset | 159 |
Automatic Visualization Method for Visual Data Mining | 174 |
RoughSet Inspired Approach to Knowledge Discovery in Business Databases | 186 |
Representative Association Rules | 198 |
Identifying Relevant Databases for Multidatabase Mining | 210 |
Minimum Message Length Segmentation | 222 |
Bayesian Classification Trees with Overlapping Leaves Applied to CreditScoring | 234 |
Contextual Text Representation for Unsupervised Knowledge Discovery in Texts | 246 |
Treatment of Missing Values for Association Rules | 258 |
Mining Regression Rules and Regression Trees | 271 |
Hash Based Approach | 283 |
Wavelet Transform in Similarity Paradigm | 295 |
Improved Rule Discovery Performance on Uncertainty | 310 |
Feature Mining and Mapping of Collinear Data | 322 |
Learning User Preferences on the WEB | 385 |
Using Rough Sets for Knowledge Discovery in the Development of a Decision Support System for Issuing Smog Alerts | 388 |
Empirical Results on Data Dimensionality Reduction Using the Divided SelfOrganizing Map | 390 |
Mining Association Rules with Linguistic Cloud Models | 392 |
A Data Mining Approach for Query Refinement | 394 |
A ConflictFree Multivariate Discretization Algorithm | 397 |
Characteristic Rule Induction Algorithm for Data Mining | 399 |
DataMining Massive Time Series Astronomical Data Sets A Case Study | 401 |
Multiple Databases Partial Reasoning and Knowledge Discovery | 403 |
Design Recovery with Data Mining Techniques | 405 |
The CLARET Algorithm | 407 |
A Hybrid Technique for Classifying Myocardial Infarction Data Containing Unknown Attribute Values | 409 |
Modelling Decision Tables from Data | 412 |
A Classification and Relationship Extraction Scheme for Relational Databases Based on Fuzzy Logic | 414 |
Mining Association Rules for Estimation and Prediction | 417 |
Rule Generalization by Condition Combination | 420 |
423 | |
Other editions - View all
Specification Case Studies in RAISE Hung Dang Van,Chris George,Tomasz Janowski,Richard Moore No preview available - 2002 |
Common terms and phrases
abstract algorithm analysis application approach Artificial Intelligence association rules C.S. Wallace candidate classification clustering Command pattern components Computer Science concept consider consists contains data cube data mining data set decision tree defined definition described discovered distribution document domain error estimator example execution formal function identified implementation induction input itemset Knowledge Discovery large databases Macau Machine Learning measure method minimum Minimum Message Length missing values module neural networks nodes number of rules OLAP operations parameters partition patterns performance prediction problem Proceedings production properties protocol pruning query raw trees regression rules relation representative association rules requirements Rough Sets ruleset Section segment selection sequences spatial data specification statistical structure subset Table techniques tion training set transactions travel plan tuples variables verify visual data mining wavelet