TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
A General Theory for Evolving Application Models
IEEE Transactions on Knowledge and Data Engineering
Conceptual Data Modeling: An Algebraic Viewpoint
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
Improving quality in conceptual modeling
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Accommodating mesodata into conceptual modelling methodologies
Information and Software Technology
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Drawing Preconditions of Operation Contracts from Conceptual Schemas
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Mapping OWL to the Entity Relationship and Extended Entity Relationship models
International Journal of Knowledge and Web Intelligence
Mapping XML Schema to Entity Relationship and Extended Entity Relationship Models
International Journal of Intelligent Information and Database Systems
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Scalable analysis of conceptual data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
On the Semantics of a Semantic Network
Fundamenta Informaticae
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |