Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System.
Nadeem AkhtarAisha Shafique GhoriNadeem SalamatPublished in: CoRR (2015)
Keyphrases
- architectural design
- formal verification
- requirement analysis
- model checking
- data warehouse
- design decisions
- model construction
- software architecture
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- detailed design
- e learning
- temporal logic
- object oriented
- multi agent
- database systems
- data mining