Software Behavior Modeling Based on Invariant Constraints.
Cheng PengLu-Ming YangJunfeng ManPublished in: J. Softw. (2013)
Keyphrases
- software systems
- software development
- commercial software
- constraint satisfaction
- modeling language
- software tools
- software platform
- artificial intelligence
- constrained optimization
- embedded systems
- computer software
- hardware design
- software evolution
- software package
- modeling method
- software design
- affine invariant
- database
- design patterns
- source code
- user interface
- multi agent systems
- bayesian networks
- computer vision
- social networks
- neural network