View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Fibrations and universal view updatability
Theoretical Computer Science
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Hi-index | 0.01 |