Formal specification of reusable interface objects
SSR '95 Proceedings of the 1995 Symposium on Software reusability
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
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 |