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

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

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

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

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

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