机译:形式表示对解决方案规范的影响
School of Computing and Management Sciences, Sheffield Hallam University, Harmer Building, Sheffield S1 1WB, UK;
empirical study of formal representations; formal specification representation; generic and simple solution approaches; human factors for formal methods; Z;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:利用UML规范和SRN模型的软件性能评估及其形式表示
机译:系统对战模拟模型的形式规范与表示研究
机译:验证产品设计的产品设计规范的正式代表
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:用于验证产品设计的产品设计规范的正式表示