Conformance Checking of Components Against Their
暂无分享,去创建一个
[1] Juan José Moreno-Navarro,et al. Generation of and Debugging with Logical Pre and Post-Conditions , 2000, AADEBUG.
[2] Richard G. Hamlet,et al. Automatically Checking an Implementation against Its Formal Specification , 2000, IEEE Trans. Software Eng..
[3] Margus Veanes,et al. Using Abstract State Machines at Microsoft: A Case Study , 2000, Abstract State Machines.
[4] Manuel Blum,et al. Software reliability via run-time result-checking , 1997, JACM.
[5] Grady Booch,et al. Essential COM , 1998 .
[6] Saharon Shelah,et al. Choiceless Polynomial Time , 1997, Ann. Pure Appl. Log..
[7] Arnd Poetzsch-Heffter,et al. Modular specification and verification techniques for object-oriented software components , 2000 .
[8] H. B. M. Jonkers. ISpec: Towards Practical and Sound Interface Specifications , 2000, IFM.