Requirements simulation for early validation using Behavior Trees and Datalog.
Saad ZafarNaurin Farooq KhanMusharif AhmedPublished in: Inf. Softw. Technol. (2015)
Keyphrases
- decision trees
- deductive databases
- expressive power
- simulation model
- qualitative simulation
- datalog programs
- integrity constraints
- simulation models
- query answering
- real time
- query language
- numerical simulations
- human behavior
- behavior patterns
- simulation environment
- tree structure
- mathematical model
- case study
- databases