形式化规范论文

高可信IP核交付标准研究
论文摘要随着数字系统的日益复杂,基于IP（IntellectualProperty）的设计方法成为缩短开发周期的必然之选。然而,很少有公司能够提供用于完整“系统级芯片（SoC,...
基于设计特征和参数化的工程化界面设计模式研究
论文摘要各类软件复用技术、界面开发方法和各种界面设计知识的深入研究和广泛实践,必将促使界面的工程化开发迈向一个新台阶。这集中表现在以下三个方面:一,各种软件复用技术为领域无关的...