object-oriented specification; collaboration; synchronization; cooperation contract;
机译:从面向对象的规范中提取测试的增量方法
机译:通过图形规范自动生成面向对象的代码
机译:从面向对象的形式规范综合逻辑程序
机译:面向对象的协作规范
机译:合并面向对象的规范的框架。
机译:泛素连接酶COP1协调控制发育中的小鼠大脑中细胞类型规范的转录程序
机译:一种可执行的规范语言,用于面向对象规范重用中的规范理解