谓词求精相关论文
该课题组将结构化方法、面向对象的方法以及形式方法的优点结合起来,提出了一种新的软件需求规格说明语言——SOZRSL(Structure Ob......
学位
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中......
