机译:从抽象的SystemC规范走向自适应系统的自动化实现:从SystemC自适应过程到嵌入式软件,再到可综合的硬件描述
机译:LAST开发的基础:商业软件需求规范的一种正式方法
机译:一种用于全球软件开发的软件需求规格说明和验证方法
机译:嵌入式软件意外障碍规范的信息流程图和分析方法
机译:使用规范和描述语言实时进行软件开发(Casper 2.0)。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:基于UML状态图的软件规格变异测试一致性检查方法
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。