Interpreting ODP Viewpoint Specification: Observations from a Case Study

Chris J. Taylor, Eerke Boiten, John Derrick. Interpreting ODP Viewpoint Specification: Observations from a Case Study. In Bart Jacobs, Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. Volume 209 of IFIP Conference Proceedings, pages 61-76, Kluwer, 2002.

Abstract

Abstract is missing.