A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
The Verification of rCOS Using Spin
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |