Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
| Hi-index | 0.00 |