Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Example Revisited
- revise is decomposed into:
- select-violation - nondeterministically selects a constraint violation from those detected by C-test; implicit assumption is that this selection does not influence the performance of the problem solving method and the quality of the result; strong assumption again
- derive-fixes - computes the set of all possible fix combinations that could possibly resolve the selected constraint violation; each combination must be finite
- select-fix - selects a fix combination, guided by a cost-function
- apply-fix - applies a fix combination
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.