Operation Expression: a Way to Verified Software.
Chong-Yi YuanWen ZhaoYu HuangPublished in: FCS (2010)
Keyphrases
- software development
- software design
- computer systems
- software systems
- software tools
- source code
- neural network
- computer vision
- user interface
- software evolution
- software projects
- software platform
- commercial software
- software packages
- analysis tool
- software package
- software developers
- personal computer
- software architecture
- software engineering
- learning algorithm