结构正确性相关论文
提出了一种将以活动网络图描述的工作流模型转换为CCS的思想，利用CCS描述了工作流模型的6种基本逻辑关系，进而将整个工作流模型转化......
嵌入式软件的开发通常采用交叉开发方式,具有实时性强和多任务处理的特点,在测试方面也有其自身的特点和难点。覆盖测试是验证软件......
随着当代建筑对现代主义运动的反思,结构正确性概念受到了人们的质疑,甚至被认为是一种"陈词滥调".本文通过结构正确性概念在建筑......
