In this paper, we introduce a theoretic model of ADRS system that is used for automatic detection and revision of program specifications.
文中介绍了一个程序规范自动检测与修正系统adrs的理论模型。
In this paper, we introduce a theoretic model of ADRS system that is used for automatic detection and revision of program specifications.
文中介绍了一个程序规范自动检测与修正系统adrs的理论模型。
应用推荐