Viewpoint consistency in ODP, a general interpretation
暂无分享,去创建一个
[1] Howard Bowman,et al. Supporting ODP - Translating LOTOS to Z , 1997 .
[2] Howard Bowman,et al. Some Results on Cross Viewpoint Consistency Checking , 1995 .
[3] Peter F. Linington. RM-ODP: The Architecture , 1995 .
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Howard Bowman,et al. Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency) , 1995 .
[6] Howard Bowman,et al. Composition of LOTOS specifications , 1995, PSTV.
[7] Guy Leduc. On the role of implementation relations in the design of distributed systems using LOTOS , 1991 .
[8] Mike Ainsworth,et al. Viewpoint specification and Z , 1994, Inf. Softw. Technol..