随着机器人技术的高速发展,越来越多的人开始聚焦到认知机器人领域的研究,机器人系统中的两大研究领域主要是路径规划和任务规划,......

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方......

针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发......

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集......

针对现有软件过程验证主要以结构验证和性质验证为主，缺乏行为验证的不足，提出了一种验证软件演化过程行为的代数方法．该方法使用通信......

近年来,软件演化已成为了软件生存周期中最重要的形态之一,成为了今天软件工程研究的热点领域。一方面,支持软件演化的软件过程(简......

本论文的研究工作主要包含了以下几个方面：1)提出了软件演化过程模型验证语言CEPDL (Concise Evolution Process Description Langu......