Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
Jian LuZongming FeiPublished in: J. Syst. Softw. (1996)
Keyphrases
- computer systems
- source code
- software tools
- commercial software
- software development
- software systems
- formal verification
- software design
- software platform
- computer software
- software packages
- software maintenance
- personal computer
- formal methods
- control flow
- software projects
- embedded systems
- artificial intelligence
- learning algorithm
- data mining