Cloning; Analytical models; Unified modeling language; Software; Mathematical model; Computer bugs; Data models;
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:基于形式模型的基于通信的列车控制软件开发
机译:铁路行业中基于模型的开发和形式化方法
机译:使用正式方法克隆基于模型的开发中的检测,以提高软件开发的性能
机译:探索改进软件测试以增强国内软件开发竞争力的方法
机译:色谱柱选择系统和DryLab软件在高效液相色谱方法开发中的应用
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术