ZRC

ZR-一个细化演算Z。事实上,Z是一个规范语言,没有相关的程序开发方法,是一个被广泛认可的问题。作为一个答案,我们提出ZRC,一个精化演算基于摩根的工作,结合了Z符号,并遵循它的风格和惯例。这项工作建立在现有的细化技术为Z,但主要区别在于ZRC是完全形式化的。在本文中,我们解释如何程序可以从Z规格派生使用ZRC。我们提出ZRC-L,我们的微积分的语言,以及它的转换法则,这涉及到Z模式转换成这个语言的程序。此外,我们给出了ZRC-L最弱的前提语义,这是ZRC定律推导的基础。除了精化演算,ZRC是Z的精化理论。


ZBMaCT中的参考文献(14篇文章中引用)

显示结果1至14的14。
按年份排序(引文

  1. 泽伊达,弗兰克;卡瓦尔坎蒂,阿纳河:基于任务的程序规则(2015)
  2. 卡瓦尔坎蒂,阿纳河;国王,史提夫;奥哈洛兰,柯林;伍德考克,吉姆:证明控制数据覆盖的测试数据生成(2014)
  3. 宫崎骏,阿尔瓦罗;CavalcAuto,阿纳河:基于STATEF流程图实现的基于细化的验证(2014)伊波尔特
  4. 卡瓦尔坎蒂,阿纳河;泽伊达,弗兰克;威尔斯,安迪;伍德考克,吉姆;魏,昆:从TexsFrCursCukes模型中安全关键的Java程序(2013)
  5. 泽伊达,弗兰克;奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河:声音精炼战术的机械化支持(2012)
  6. 卡瓦尔坎蒂,阿纳河;克莱顿,Phil;奥哈洛兰,柯林:从控制律图到艾达通过文本FrCurCube(2011)
  7. 奥利维拉,Marcel;ZeyDA,弗兰克;CavalcToand,Ana:一种用于细化富国家并发规范的策略语言(2011)
  8. 古特曼,沃尔特:功能动作的强制抽象(2010)
  9. 奥利维拉,Marcel;CavalcActo,阿纳河;伍德考克,吉姆:TutsFcCurCUS的UTP语义(2009)
  10. 卡瓦尔坎蒂,阿纳河;伍德考克,吉姆;唐恩,史提夫:程序统一理论中的天使非决定论(2006)
  11. 卡瓦尔坎蒂,阿纳河;克莱顿,Phil;奥哈洛兰,柯林:《马戏团》中的控制律图(2005)
  12. 奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:马戏团工业规模系统的正式发展(2005)伊波尔特
  13. 奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:马戏团工业规模系统的正式发展(2005)伊波尔特
  14. 卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:ZRC——(Z)(1998)的精化演算