作者: Christopher Tofts , Richard Taylor
DOI:
关键词:
摘要: A computer program (10) analyses a specification for process, by analysing automatically the of process to identify set monitoring points, and determine cost monitoring. Measuring can enable be reduced or optimised given cost. The analysis include identifying database accesses, how reduce amount accesses improve performance. It also analyse which involve locking, infer scope range