View Integration of Object Life-Cycles in Object-Oriented Design
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
A modal logic based approach to schema integration
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
A transition logic for schemata conflicts
Data & Knowledge Engineering
Schema integration framed in modal logic
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Guidelines for modeling language independent integration of dynamic schemata
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A framework for determining design correctness
Knowledge-Based Systems
Model correspondence as a basis for schema domination
Knowledge-Based Systems
| Hi-index | 0.00 |