The INFOLOG linear tense propositional logic of events and transactions
Information Systems
PROBE: a knowledge-oriented database management system
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Stepwise specification of dynamic database behaviour
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Key extensions of abstract data types, final algebras, and database semantics
Proceedings of a tutorial and workshop on Category theory and computer programming
Abstraction and inference mechanisms for knowledge representation
Foundations of knowledge base management
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Molecular Objects, Abstract Data Types, and Data Models: A Framework
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A two-level temporal logic for evolving specifications
Information Processing Letters
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
Database Application Development as an Object Modeling Activity
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Towards Event-Driven Modelling for Database Design
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
From CASE to CARE (Computer-Aided Requirements Engineering)
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
A web-based animator for validating object specifications
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Hi-index | 0.00 |