Ensuring Correctness of Object and Component

作者： Anna Mikhajlova

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(68)

Daniel Leivant, Higher order logic Handbook of logic in artificial intelligence and logic programming. pp. 229- 322 ,(1994)

P. America, A behavioural approach to subtyping in object-oriented programming languages Inheritance hierarchies in knowledge representation and programming languages. pp. 173- 190 ,(1991)

Peter Wegner, Interactive Software Technology. The Computer Science and Engineering Handbook. pp. 2440- 2463 ,(1997)

Elspeth Cusack, Michael Lai, Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages. pp. 179- 202 ,(1990) , 10.1007/BFB0019444

Ralph-JR Back, None, Refinement calculus, part II: Parallel and reactive programs Lecture Notes in Computer Science. ,vol. 430, pp. 67- 93 ,(1990) , 10.1007/3-540-52559-9_61

Dan Harkey, Robert Orfali, Jeri Edwards, The Essential Distributed Objects Survival Guide ,(1995)

MICHAEL J Butler, J. Grundy, T. Långbacka, Rimvydas Ruksenas, J von Wright, The Refinement Calculator: Proof Support for Program Refinement ,(1997)

Ralph-Johan J. Back, D. Gries, F. B. Schneider, Refinement Calculus: A Systematic Introduction ,(1998)

Ralph Back, Anna Mikhajlova, Joakim von Wright, None, Reasoning About Interactive Systems formal methods. pp. 1460- 1476 ,(1999) , 10.1007/3-540-48118-4_27

Martin Büchi, Emil Sekerinski, Formal Methods for Component Software: The Refinement Calculus Perspective european conference on object-oriented programming. pp. 332- 337 ,(1997) , 10.1007/3-540-69687-3_68