机译:ABS工具套件:建模,执行和分析分布式自适应对象系统
机译:面向对象的创新设计模式应用于电力系统动态仿真软件工具的开发
机译:自动信息控制系统中面向对象数据库的优化设计:II-面向对象数据库的最佳逻辑结构设计模型和方法
机译:ObjectCheck:可执行的面向对象软件系统设计的模型检查工具
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:重用现有HIS工具和常规患者数据的患者招募系统通用软件体系结构的设计和多中心实现
机译:模型检查的集成状态空间减少可执行的面向对象的软件系统设计