进展 swMATH ID: 2905 软件作者: 曼弗雷德·穆奇;安迪·舒尔(Andy Schürr);安德烈亚斯·温特。 描述: 多参数语言PROGRES中的完整性约束。PROGRES是一种多参数可视化编程或可执行规范语言,具有定义良好的静态类型概念。它支持使用图形重写系统进行编程。集成类型检查器能够检查规范的静态语义。本文将静态完整性约束集成到语言中,以便在运行时检查规范的语义。它讨论了许多重要的设计决策,例如何时必须检查约束,以及如果检测到约束冲突会发生什么。 主页: http://de.wikipedia.org/wiki/Progres 关键词: 规范;图的重写;打字机;静态语义;静态完整性约束;图形变换;程序设计语言 相关软件: AGG公司;富贾巴语;威特拉2;图形转换基准;GrGen公司;迭戈;GXL公司;沟槽;自旋蛋白;DiaGen公司;A至M3;VPM公司;莫氟龙;MOFLON公司;DACTL公司;虚拟UML;PORGY公司;REforDI公司;MetaEnv公司;图形XML 引用于: 52文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 多参数语言PROGRES中的完整性约束。 Zbl 0971.68611号曼弗雷德·穆奇;安迪·舒尔;安德烈亚斯·温特。 2000 全部的 前5名88位作者引用 7 安迪·舒尔 5 瑞科·赫克尔 5 丰满,细节 5 达尼尔·瓦罗 4 哈特穆特·埃里格 4 伯特霍尔德·霍夫曼 4 安德烈亚斯·温特 三 格雷戈·恩格斯 三 赫莱内·基什内尔 三 马克·米纳斯 三 加布里埃尔·坦泽尔 三 Westfechtel,伯恩哈德 2 罗西娅·巴多尔 2 海科·多尔 2 法兰克·德雷维斯 2 费尔南德斯,马里贝尔 2 阿内格丽特·哈贝尔 2 加博尔·卡赛 2 萨宾·库斯克 2 费尔南多·奥雷哈斯 2 安德拉斯·帕塔里察 2 施耐德,汉斯·尤根 2 玛尔塔·西蒙 1 马克·安德烈 1 阿格内斯·阿诺德 1 安德拉斯·巴洛夫 1 卢西亚诺·巴雷西 1 格诺·维特·巴茨 1 哈基姆·贝哈瓦里 1 托马斯·贝莱特 1 戈博尔·伯格曼 1 恩里科·比尔曼 1 保罗·波托尼 1 H.J.Sander,布鲁金克 1 安德烈亚·科拉迪尼 1 克雷默,卡加 1 胡安·德·拉腊 1 Frank Derichsweiler先生 1 弗朗西斯科·杜兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 卡斯滕·埃里格 1 克劳迪娅·埃尔梅尔 1 鲁宾诺·盖伊 1 乌尔里克·戈拉斯 1 马丁·格罗·罗德 1 丹尼尔·格兰德 1 塞巴斯蒂安·哈克 1 理查德·霍尔特(Richard C.Holt)。 1 阿尔科斯·霍瓦思 1 德克·詹森 1 沃尔夫拉姆·卡尔 1 巴巴拉·科尼格 1 卡尔·阿恩特·克拉普 1 汉斯·约尔格·克鲁斯基 1 克吕佩尔(Sven Krüppel) 1 盖萨,库尔萨尔 1 伯恩特·库尔巴赫 1 帕斯卡尔·勒加尔 1 美塞·拉布雷斯 1 马耳他州洛豪 1 格雷格·曼宁 1 安德烈·马伯格 1 玛琳,玛杰卡 1 彼得·麦克布莱恩 1 安东尼奥·莫雷诺·德尔加多 1 曼弗雷德·穆奇 1 奥利维尔·纳特 1 阿南塔·纳拉亚南 1 诺尔特,丹尼斯 1 弗朗西斯科·帕里西·普雷西奇 1 罗曼·帕斯夸尔 1 多丽娜·佩特里乌(Dorina C.Petriu)。 1 布鲁诺·皮诺 1 乌尔里克·普兰吉 1 普罗斯特、弗雷德里克 1 伊斯坦·拉思 1 沃尔克·里迪格 1 托拜厄斯·罗切克 1 斯特凡·索尔 1 安斯加·施莱彻 1 苏珊·埃利奥特(Susan Elliott Sim) 1 桑德拉·斯坦纳特 1 拉尔斯·斯托尔特诺 1 亚当·萨勒科夫斯基 1 格格利·瓦罗 1 王欣 1 斯泰芬·兹夏勒 全部的 前5名9篇连载文章中引用 5 计算机程序设计科学 三 计算机科学课堂讲稿 2 计算机与系统科学杂志 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 软件维护与进化杂志。研究与实践 2 程序设计中的逻辑和代数方法杂志 1 计算机基础理论 1 通用计算机科学杂志 在5个字段中引用 52 计算机科学(68至XX) 三 组合数学(05-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文