A requirements modeling language and its logic
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
Activity modeling and behavior modeling
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Object-oriented design: a responsibility-driven approach
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Object oriented design with applications
Object oriented design with applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Descriptive specification of database object behaviour
Data & Knowledge Engineering
From information system requirements to designs: a mapping framework
Information Systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Classification in object-oriented systems
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-Oriented Software Construction
Object-Oriented Software Construction
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Proceedings of the Fifth International Conference on Data Engineering
Representing Processes in the Extended Entity-Relationship Model
Proceedings of the Sixth International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases
Proceedings of the Eighth International Conference on Data Engineering
ACM Transactions on Database Systems (TODS)
The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database
IEEE Transactions on Knowledge and Data Engineering
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
A temporal behavioral object model for object-oriented databases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Hi-index | 0.00 |