共被期刊论文引用了4次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 构件近似匹配的度量研究显示文摘针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。 | 吴新星 胡国胜 陈仪香 | 2014 | 计算机科学2014，41，5： | 2 |
| 2 | 模型驱动的Dafny程序形式化生成与自动验证显示文摘Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性. | 王昌晶 贺江飞 罗海梅 左正康 许帆 | 2020 | 江西师范大学学报(自然科学版)2020，44，4： | 1 |
| 3 | Automated transformations from UML behavior models to contracts显示文摘In model driven architecture(MDA),system requirements are first captured by UML(unified modeling language)use cases with sequence diagrams to describe their intended use and implemented by classes of objected-oriented languages in the subsequent design stages.It is important that the dynamic behavior specified by the sequence diagrams is in full compliance with the implementation classes.This paper proposes an automatic approach and tool support for generating class contracts,which define a precondition and a postcondition for each operation of the class.The former serves as a guard to ensure invocations of the operations respect the semantics introduced by the sequence diagrams,and the latter places the system in a legal state to facilitate the succeeding operation calls.The contracts can be easily mapped to code of an object-oriented language such as Java.Thus,the approach helps to bridge the gap between the requirements and design stages of system development process.We use our model transformation tool to first generate a UML protocol state machine from the sequence diagrams,and then derive the contracts for a controller class.The transformations take into account the concurrency and critical constructs of the respective UML diagrams. | LI Dan LI XiaoShan LIU ZhiMing Volker STOLZ | 2014 | Science China(Information Sciences)2014，57，12： | 1 |
| 4 | A graph-based generic type system for object-oriented programs显示文摘 | Wei KE Zhiming LIU Shuling WANG Liang ZHAO | 2013 | Frontiers of Computer Science2013，7，1： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员