Abstraction and specification in program development
Abstraction and specification in program development
On the shape of mathematical arguments
On the shape of mathematical arguments
Object-oriented reasoning in information modeling
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
On the purpose of object-oriented analysis
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
On understanding hypertext: are links essential?
ACM SIGSOFT Software Engineering Notes
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Specification of behavioral semantics in object-oriented information modeling
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications (Addendum)
| Hi-index | 0.00 |