Modular Specification of Incremental Program Transformation Systems.
Alan CarleLori L. PollockPublished in: ICSE (1989)
Keyphrases
- formal methods
- distributed systems
- databases
- specification language
- complex systems
- expert systems
- machine learning
- multi agent
- decision making
- computer vision
- data driven
- knowledge acquisition
- intelligent systems
- computer systems
- knowledge based systems
- learning systems
- test cases
- information retrieval
- retrieval systems
- incremental learning
- finite state machines
- data sets