GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Methodology and Tools for Data Design
Methodology and Tools for Data Design
Data Models
SERM: Semantic Entity-Relationship Model
Proceedings of the Fourth International Conference on Entity-Relationship Approach
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Efficient derivation of numerical dependencies
Information Systems
Hi-index | 0.00 |