DO-178B/ED-12B; High Integrity; M2M; SPARK; Safety Critical; Software Product Lines; Static Analysis; UML; Verification;
机译:软件产品线的正式规范:一种基于图变换的方法
机译:软件产品线的正式规范:一种基于图变换的方法
机译:评估软件产品线工业项目中的雷曼软件演化定律
机译:验证改进转换以推导高安全性软件
机译:相似性在软件产品线中检测特征交互的作用
机译:下一代多基因座序列分型(NGMLST)和分析软件程序MLSTEZ实现了高效高性价比高通量的多基因座测序分型
机译:在模型驱动的软件产品线中使用转换方面
机译:证明细化转换以获得高保证软件