The George Washington University.;
机译:分布式软件组件接口的行为规范
机译:基于模型的动态行为规范的汽车软件组件控制流分析
机译:基于组件的软件系统中软件组件的协议级行为可替换性研究
机译:OCL规范模式库,用于软件组件的行为规范
机译:基于行为模型和设计模式的组件规格自适应组件范例
机译:使用m序列表征果蝇中高阶视觉跟踪行为的并行分量的方法和软件
机译:BespaceD:迈向规范的工具框架和方法 分布式软件构件的空间行为分析与验证 系统
机译:用于分布式存储器mImD计算机的三维通用几何pIC软件; Em软件规范