Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model.
Munima JahanZahra Shakeri Hossein AbadBehrouz H. FarPublished in: MoDRE@RE (2020)
Keyphrases
- emergent behavior
- probabilistic model
- complex systems
- multi agent systems
- software systems
- multiagent systems
- distributed systems
- language model
- formal specification
- delay insensitive
- bayesian networks
- particle swarm optimization
- functional requirements
- dynamic systems
- database
- high level
- genetic algorithm
- multi objective
- cooperative
- specification language