进展

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


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

显示第1到第20个结果,共70个。
按年份排序(引用)
  1. Kulcsár,Géza;Corradini,Andrea;Lochau,Malte:并发图重写过程的微积分(2020)
  2. 2018年,马里亚贝勒-贝勒-贝勒-贝勒结构模型;马里亚贝勒结构图
  3. 弗朗西斯科的杜兰;安东尼奥的莫雷诺·德尔加多;费尔南多的奥雷哈斯;斯特芬的茨查尔:领域特定语言与行为的融合(2017)
  4. Kirchner,Hélene:重写策略和战略重写计划(2015)
  5. Bergmann,Gábor;Ráth,István;Szabó,Tamás;Torrini,Paolo;VarróDániel:传递闭包有效计算的增量模式匹配(2012)ioport公司
  6. 费南德斯,玛丽贝尔;基什纳,赫勒;纳梅特,奥利维尔:图形重写的策略语言(2012)
  7. Biermann,Enrico;Ehrig,Hartmut;Ermel,Claudia;Golas,Ulrike;Taentzer,Gabriele:应用于模型转换的合并图变换的并行独立性(2010)
  8. Drewes,Frank;Hoffmann,Berthold;Janssens,Dirk;Minas,Mark:《自适应星语法及其语言》(2010)
  9. Geiger,Leif;Zündorf,Albert:Fujaba 2008 GraBaTs案例研究:经验教训(2010)ioport公司
  10. Giese,Holger;Hildebrandt,Stephan;Neumann,Stefan:《工作中的模型同步:保持SysML和AUTOSAR模型的一致性》(2010)ioport公司
  11. Greenyer,Joel;Kindler,Ekkart:比较关系模型转换技术:用三重图语法实现查询/视图/转换(2010)ioport公司
  12. Heckel,Reiko;Torrini,Paolo:移动系统的随机建模与仿真(2010)ioport公司
  13. Horváth,Ákos;Bergmann,Gábor;Ráth,István;VarróDániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  14. Edgar Jakumeit;Buchwald,Sebastian;Kroll,Moritz:GrGen.NET。表达、方便、快速的图形重写系统(2010)ioport公司
  15. 卡赛,加博:从建立图形转换系统中吸取的教训(2010)
  16. Marburger,André;Westfechtel,Bernhard:电信系统的基于图的结构分析(2010)ioport公司
  17. Minas,Mark;Schneider,Hans Jürgen:计算范畴理论的图变换(2010)
  18. 伦辛克,阿伦德;范戈普,皮尔特:图形转换工具大赛2008(2010)ioport公司
  19. Giese,Holger;Wagner,Robert:从模型转换到增量双向模型同步(2009)ioport公司
  20. Bergmann,Gábor;Horváth,Ákos;Ráth,István;VarróDániel:图转换中增量模式匹配的基准评估(2008)