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
Building the access pointers to a computation environment
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Information and Computation
Hi-index | 0.00 |