Author:
Cavalcanti Ana,Sampaio Augusto,Woodcock Jim
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference38 articles.
1. Abrial J-R (1996) The B-Book: Assigning Progams to Meanings. Cambridge University Press
2. Back RJR (1987) Procedural Abstraction in the Refinement Calculus. Technical report, Department of Computer Science, Åbo, Finland. Ser. A No. 55.
3. Bolognesi T (2003) On State-oriented versus Object-oriented Thinking in Formal Behavioural Specifications. Technical Report 2003-TR-20, ISTI – Istituto di Scienza e Tecnologie della Informazione Alessandro Faedo
4. Borba PHM, Sampaio ACA, Cavalcanti ALC, Cornélio ML (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming 52:53–100
5. Borba PHM, Sampaio ACA, Cornélio ML (2003) A Refinement Algebra for Object-oriented Programming. In: European Conference on Object-oriented Programming 2003 – ECOOP 2003. Lecture Notes in Computer Science, vol 2743. Springer-Verlag, pp 457–482
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献