Schema mappings are fundamental building blocks in many information integration applications. Designing mappings is a timeconsuming process and for that reason many mapping system...
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...