Theory and methodology of object-oriented formal modelling.
Guo XieDing LiuXinhong HeiTianhua XuPublished in: Int. J. Sens. Networks (2014)
Keyphrases
- object oriented
- formal model
- theoretical framework
- formal methods
- conceptual framework
- mathematical theory
- mathematical foundations
- formal models
- object oriented databases
- sound theoretical
- unified modeling language
- reasoning processes
- design methodology
- data model
- relational databases
- neural network
- model checking
- database applications
- e learning
- genetic algorithm