本文首先给出了AOP和DBC之间的对应关系，在此基础上，提出了一种基于AOP的契约描述语言(ACDL)，该语言以AOP的方式表示契约，可以在设计阶段就精确而直观地描述类不变式、方法的前置、后置条件，而不依赖于任何AO的语言细节；...
基于28个网页-相关网页
...andHoTram是由美国米高梅国际度假村(MGMResortsInternational，MGM)与加拿大亚洲海岸开辟有限公司(AsianCoastDevelopment，ACDL)联手开辟的项目。
基于2个网页-相关网页
...andHoTram是由美国米高梅国际度假村(MGMResortsInternational，MGM)与加拿大亚洲海岸开辟有限公司(AsianCoastDevelopment，ACDL)联手开辟的项目。
基于2个网页-相关网页
应用推荐