A Generic Process to Refine a B Specification into a Relational Database Implementation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Three Levels of Reuse for Supporting the Evolution in Object Databases
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Hi-index | 0.01 |