Quantitative analysis for symbolic heap bounds of CPS software.
Renjian LiJi WangLiqian ChenWanwei LiuDengping WeiPublished in: Comput. Sci. Inf. Syst. (2011)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative evaluation
- qualitative and quantitative analysis
- data structure
- lower bound
- software systems
- upper bound
- software tools
- high level
- upper and lower bounds
- software development
- computer systems
- software architecture
- source code
- software design
- worst case
- error bounds
- software components
- embedded systems
- symbolic representation
- user interface
- hardware design
- high quality
- case study