Specification Case Studies in RAISE

Front Cover
Hung 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.

From inside the book

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
Author Index
423
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information