The IMPRESS DDT: a database design toolbox based on a formal specification language
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Fundamenta Informaticae
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Fundamenta Informaticae
| Hi-index | 5.25 |