Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. S. Alagic, S. Kouznetsova, Behavioral compatibility of self-typed theories, in: Boris Magnusson (Ed.), ECOOP 2002—Object-Oriented Programming, 16th European Conference, Máalaga, Spain, Proceedings, Vol. 2374, Springer, Berlin, June 2002, pp. 585–608.
2. I. Brückner, H. Wehrheim, Slicing Object-Z Specifications for Verification, H. Treharne, S. King, M. Henson, S. Schneider (Eds.), in: ZB2005: Formal Specification and Development in Z and B, LNCS 3455, Springer, Berlin, 2005, to appear.
3. Parallel Program Design;Chandy,1988
4. Model Checking;Clarke,1999
5. Object-Z: A specification language advocated for the description of standards;Duke;Comput. Standards Interfaces,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A proof system for adaptable class hierarchies;Journal of Logical and Algebraic Methods in Programming;2015-01
2. Software diversity: state of the art and perspectives;International Journal on Software Tools for Technology Transfer;2012-07-28
3. Tracking Behavioral Constraints during Object-Oriented Software Evolution;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012
4. Verification of Software Product Lines with Delta-Oriented Slicing;Formal Verification of Object-Oriented Software;2011