Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
| Hi-index | 0.00 |