On the Synchronization of ODP Textual and Graphical Specifications
暂无分享,去创建一个
[1] Cédric Brun Obeo,et al. MODEL DIFFERENCES IN THE ECLIPSE MODELING FRAMEWORK , 2008 .
[2] Antonio Vallecillo,et al. Writing and executing ODP computational viewpoint specifications using Maude , 2007, Comput. Stand. Interfaces.
[3] Richard O. Sinnott,et al. Specifying ODP Computational Objects in Z , 1997 .
[4] Antonio Vallecillo,et al. Using Maude to write and execute ODP information viewpoint specifications , 2005, Comput. Stand. Interfaces.
[5] John Derrick,et al. ODP enterprise viewpoint specification , 2000 .
[6] Howard Bowman,et al. FDTs for ODP , 1995 .
[7] Peter F. Linington. RM-ODP: The Architecture , 1995 .
[8] Antonio Vallecillo,et al. Formalizing ODP enterprise specifications in Maude , 2003, Comput. Stand. Interfaces.