机译:将形式化方法与领域分析相集成
Universidad National del Centro, Campus Universitario, 7000 Tandil, Argentina;
Universidad National del Centro, Campus Universitario, 7000 Tandil, Argentina;
Universidad National del Centro, Campus Universitario, 7000 Tandil, Argentina;
UniversidadNational de San Luis, Ejercito de los Andes 950,5700 San Luis, Argentina;
UniversidadNational de San Luis, Ejercito de los Andes 950,5700 San Luis, Argentina;
Winona State University, Winona, MN, USA;
domain analysis; feature model; RAISE method; RAISE specification language;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:一种结合粗糙集理论和形式概念分析的个人投资组合的集成方法
机译:通过径向集成解决异步测距边界元方法中的域积分问题:热弹性分析研究
机译:使用SOFL正式规范语言集成系统族的域建模方法
机译:跨同步域的知识产权组成的正式方法
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:以特定领域语言集成形式验证的方法和工具
机译:形式规范的软件域模型集成方法