Formal specification supporting incremental and flexible agent-based modeling.
Jang Won BaeGeunHo LeeIl-Chul MoonPublished in: WSC (2012)
Keyphrases
- formal specification
- agent based modeling
- model checking
- object oriented design
- complex systems
- social behavior
- process algebra
- reverse engineering
- formal methods
- social sciences
- geographical information systems
- concurrent systems
- software components
- financial markets
- decision support system
- agent based models
- information systems
- data mining
- database