天使

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


zbMATH参考文献(14篇文章引用了,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. Ribeiro,Pedro;Cavalcanti,Ana:通过UTP实现CSP的天使工艺(2019年)
  2. 泽达,弗兰克;奥利维拉,马塞尔;卡瓦尔坎蒂,安娜:完善战术的机械化支持(2012)
  3. 安娜·卡瓦尔坎蒂;克莱顿,菲尔;奥哈洛兰,科林:从控制律图到Ada通过\textscircus(2011)
  4. Oliveira,Marcel;Zeyda,Frank;Cavalcanti,Ana:一种用于细化状态丰富的并发规范的策略语言(2011)
  5. 泽达,弗兰克;卡瓦尔坎蒂,安娜:自动化完善马戏节目(2011年)
  6. 大卫阿斯皮纳尔;丹尼,埃文;吕思,克里斯托夫:分层证明的策略(2010)
  7. Alexander Bitovei,automation公司;Alexander Bitolina,2010年;automation公司;Alexander Bitolina,automation公司
  8. Utting,Mark;Malik,Petra;Toyn,Ian:Z的转换规则(2010)
  9. 泽达,弗兰克;奥利维拉,马塞尔;卡瓦尔坎蒂,安娜:支持阿卡天使在证明力量(2009年)ioport公司
  10. 大卫·阿斯皮纳尔;丹尼,埃文;吕思,克里斯托夫:嘻哈车顶的战术语言(2008)
  11. Oliveira,M.V.M.;Cavalcanti,A.L.C.:\textsfArcAngelC:马戏团的精炼战术语言(2008)ioport公司
  12. Xavier,Manuela;Cavalcanti,Ana:程序的机械化改进(2007)ioport公司
  13. Rukėnas,Rimvydas:并发系统开发的严格环境(2004)
  14. 奥利维拉,马赛尔;卡瓦尔坎蒂,安娜;伍德考克,吉姆:一种精致的战术语言(2003)