The Roles of Execution and Analysis in Algorthm Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Artificial Intelligence
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A qualitative physics based on confluences
Readings in qualitative reasoning about physical systems
Causal and Teleological Reasoning In Circuit Recognition
Causal and Teleological Reasoning In Circuit Recognition
A model for composite system design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |
Validating a complex system specification is a difficult problem. Generating behaviors and using them to critique a specification is one effective approach. Up until now, symbolic evaluation has been the key technique of behavior generation. Unfortunately, it has drawbacks both in the amount of time it takes to complete a symbolic run, and in the large amount of uninteresting data it produces.We propose goal-directed envisionment as an alternative to symbolic evaluation, supplementing the basic envisioning techniques of qualitative physics with behavioral goals. This approach overcomes the problems of symbolic evaluation by generating interpretations in a reasonable amount of time and by exploiting goals to prioritize and analyze the interpretations.This paper describes and evaluates SC, an implemented system which employs goal-directed envisionment to critique specifications.