Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specifying Java Frameworks Using Abstract Programs
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Object-Oriented Structure Refinement -- A Graph Transformational Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Correctness of intrusive data structures using mixins
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Hi-index | 0.00 |