| [1] | Jim Davies, James Welch, Alessandra Cavarra, and Edward Crichton. On the generation of object databases using Booster. In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society, 2006. |
| [2] | Jim Davies, David Faitelson, and James Welch. Domain-specific semantics and data refinement of object models. In Brazilian Symposium on Formal Methods (SBMF), 2006. |
| [3] | David Faitelson, James Welch, and Jim Davies. From predicates to programs: The semantics of a method language. In Proceedings of SBMF 2005. Electronic Notes in Theoretical Computer Science, 2005. To appear. |
| [4] | J. Welch, D. Faitelson, and J. Davies. Automatic maintenance of association invariants. In Proceedings of SEFM. IEEE Computer Society Press, 2005. |
This file has been generated by bibtex2html 1.85.