北极天使

ArcAngel:一种求精的战术语言。摩根的精化演算是一种成功的技术,以精确和一致的方式开发软件。然而,这种技术很难使用,因为发展可能是长期的和重复的。许多作者指出,通过识别常用的开发策略,将它们记录为策略,并将它们用作单一转换规则,可以获得很多。此外,有一个有用的描述导数的记号,以便它们可以被分析和修改。在本文中,我们提出了ArcAngel,定义这种细化策略的语言;我们提出的语言,其语义,以及它的一些代数定律。除了天使,我们正在扩展的通用策略语言,没有其他策略语言有一个指称语义和它自己的证明理论。


ZBMaX中的参考文献(14篇)1标准条款

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

  1. 里贝罗,佩德罗;卡瓦尔坎蒂,阿纳河:通过UTP的CSP天使过程(2019)
  2. 泽伊达,弗兰克;奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河:声音精炼战术的机械化支持(2012)
  3. 卡瓦尔坎蒂,阿纳河;克莱顿,Phil;奥哈洛兰,柯林:从控制律图到艾达通过文本FrCurCube(2011)
  4. 奥利维拉,Marcel;ZeyDA,弗兰克;CavalcToand,Ana:一种用于细化富国家并发规范的策略语言(2011)
  5. 齐亚达,弗兰克;卡瓦尔坎蒂,阿纳河:自动化马戏团计划的精髓(2011)
  6. Aspinall,戴维;丹尼,Ewen;吕斯,克里斯托夫:分层证明策略(2010)
  7. Iliasov,阿列克谢;TouthSytha,埃琳娜;莱宾斯,Linas;罗曼诺夫斯基,亚力山大:精细化自动化模式(2010)
  8. 马克、马利克、佩特拉、Toyn、伊恩:Z(2010)的变换规则
  9. 泽伊达,弗兰克;奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河:支持校对的安格尔(2009)伊波尔特
  10. Aspinall,戴维;丹尼,Ewen;吕斯,克里斯托夫:一种语法语言(2008)
  11. 奥利维拉,M. V. M.;卡瓦尔坎蒂,A. L. C.:TexsFracalcC:一个马戏团的精炼战术语言(2008)伊波尔特
  12. 沙维尔,曼努埃拉;卡瓦尔坎蒂,阿纳河:程序的机械化提炼(2007)伊波尔特
  13. RukyNasNAS,Rimvydas:并发系统开发的严格环境(2004)
  14. 奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:ArcAngel:一种求精的战术语言(2003)