Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
State-based approaches: from Z to object-Z
Formal methods for distributed processing
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Specification of Object-Oriented Meta-modelling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Patterns to guide practical refactoring: examples targetting promotion in Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A model for document management
Computer Communications
Hi-index | 0.00 |