Automated Synthesis of Assertion Monitors using Visual Specifications.
Ambar A. GadkariS. RameshPublished in: DATE (2005)
Keyphrases
- high level
- semi automated
- visual information
- artificial intelligence
- information systems
- website
- low level
- visual features
- program synthesis
- visual processing
- human vision
- visual perception
- computer aided
- model checking
- functional requirements
- formal specification
- visual search
- fully automated
- real time
- mobile robot
- data structure
- information retrieval
- neural network
- data sets