进展

多范式语言程序中的完整性约束。PROGRES是一种多范式可视化编程或可执行规范语言,具有定义良好的静态类型概念。它支持用图形重写系统编程。集成的类型检查器能够检查规范的静态语义。本文将静态完整性约束集成到允许在运行时检查规范语义的语言中。它讨论了许多重要的设计决策,例如何时必须检查约束以及如果检测到约束冲突将发生什么。


zbMATH中的参考文献(参考文献70篇文章,1标准件)

显示第1到第20个结果,共70个。
按年份排序(引用)
  1. 库尔恰尔,盖扎;科拉迪尼,安德里亚;Lochau,Malte:并发图重写过程的微积分(2020)
  2. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;Pinaud,Bruno:标签端口图——模型和计算的形式结构(2018)
  3. 杜兰,旧金山;莫雷诺·德尔加多,安东尼奥;俄勒哈斯,费尔南多;Zschaler,Steffen:领域特定语言与行为的融合(2017)
  4. Kirchner,Hélene:重写策略和战略重写计划(2015)
  5. 伯格曼,Gábor;拉特,伊斯特万;萨博,塔玛斯;托里尼,保罗;Varró,Dániel:传递闭包有效计算的增量模式匹配(2012)ioport公司
  6. 费尔南德斯,玛丽贝尔;基什内尔,Hélène;Namet,Olivier:图形重写的策略语言(2012)
  7. 比尔曼,恩里科;赫里格,哈特穆特;克劳迪娅,克劳迪娅;哥拉斯,乌尔里克;Taentzer,Gabriele:合并图变换的并行独立性应用于模型转换(2010)
  8. 德雷维斯,弗兰克;霍夫曼,伯托德;詹森,德克;米纳斯,马克:自适应星语法及其语言(2010)
  9. 盖革,莱夫;Zündorf,Albert:Fujaba GraBaTs 2008案例研究:经验教训(2010)ioport公司
  10. 吉斯,霍尔格;希尔德布兰特,斯蒂芬;Neumann,Stefan:《工作中的模型同步:保持SysML和AUTOSAR模型的一致性》(2010)ioport公司
  11. 格林耶,乔尔;Kindler,Ekkart:比较关系模型转换技术:用三重图语法实现查询/视图/转换(2010)ioport公司
  12. 海克尔,灵子;托里尼,保罗:移动系统的随机建模与仿真(2010)ioport公司
  13. 霍尔瓦思,Ákos;伯格曼,Gábor;拉特,伊斯特万;Varró,Dániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  14. 雅库梅特,埃德加;布赫瓦尔德,塞巴斯蒂安;莫瑞根,葛瑞恩。表达、方便、快速的图形重写系统(2010)ioport公司
  15. 卡赛,加博:从建立图形转换系统中吸取的教训(2010)
  16. 马尔伯格,安德烈;Westfechtel,Bernhard:基于图的电信系统结构分析(2010)ioport公司
  17. 米纳斯,马克;Schneider,Hans Jürgen:计算范畴理论的图变换(2010)
  18. 伦辛克,阿伦德;Van Gorp,Pieter:图形转换工具大赛2008(2010)ioport公司
  19. 吉斯,霍尔格;Wagner,Robert:从模型转换到增量双向模型同步(2009)ioport公司
  20. 伯格曼,Gábor;霍尔瓦思,Ákos;拉特,伊斯特万;Varró,Dániel:图变换中增量模式匹配的基准评估(2008)