艾菲尔 swMATH ID: 3522 软件作者: 贝特朗·梅耶 描述: Eiffel是一种ISO标准化的面向对象编程语言,由Bertrand Meyer(面向对象的倡导者和面向对象软件构造的作者)和EiffelSoftware设计。该语言的设计与埃菲尔编程方法密切相关。两者都基于一套原则,包括合同设计、命令-查询分离、统一访问原则、单选原则、开放-闭合原则和选项-选项分离。许多最初由Eiffel引入的概念后来被引入Java、C#和其他语言。新的语言设计思想,特别是通过Ecma/ISO标准化过程,继续被纳入埃菲尔语言。 主页: https://en.wikipedia.org/wiki/Eiffel_%28programming_language%29 相关软件: JML公司;Smalltalk公司;规格#;电子稳定控制系统/Java;Z轴;布吉;模拟67;Coq公司;阿达95;哈斯克尔;落叶松;卡拉卡拉;达夫尼;轻量级Java;JUnit公司;CLOS公司;VCC(沃尔沃汽车公司);伊莎贝尔/HOL;z3(零3);KeY公司 引用于: 234文件 标准条款 4出版物描述软件,包括4出版物以zbMATH为单位 年份 埃菲尔的面向对象编程。第2版。 Zbl 0888.68028号皮特·托马斯;雷·威登 1997 面向对象的软件构造。包括1张CD-ROM。第2版。 Zbl 0987.68516号贝特朗·梅耶 1997 埃菲尔。语言。 Zbl 0779.68013号贝特朗·梅耶 1992 面向对象的软件构造。(Objektorientierte Softwareentwicklung.Aus d.American.übers.von Werner Simonsmeier) Zbl 0719.68012号贝特朗·梅耶 1990 全部的 前5名464位作者引用 8 贝特朗·梅耶 7 Gary T.Leavens。 5 德波尔(Frank S。 5 约翰·米切尔(John C.Mitchell)。 5 佐尔坦波科拉布 4 米哈利·比斯科 4 弗朗西斯科·洛戈佐 4 彼得·米勒 4 戴维·诺曼(David A.Naumann)。 4 Owe、Olaf 4 理查德·佩奇(Richard F.Paige)。 三 菲利普·布鲁克。 三 布鲁斯(Kim B.Bruce)。 三 费雪,凯萨琳 三 卡洛·阿尔贝托·福里亚 三 埃纳尔·布罗赫·约翰森 三 Leino,K.Rustan M。 三 奥尔德罗格,恩斯特·吕迪格 三 乔纳森·奥斯特罗夫。 三 克里斯蒂安·波查 2 美国,皮埃尔 2 Krzysztof Rafal公寓 2 洛伦佐·贝蒂尼 2 格恩特·布拉斯克 2 萨拉·卡佩基 2 玛丽亚·尤金妮亚·卡斯特罗 2 安娜·卡瓦尔坎蒂 2 Yoonsik Cheon先生 2 汤姆·乔西亚 2 墨西哥科内里奥 2 帕特里克·库索特 2 拉希亚库索 2 达科斯塔,翁贝托·苏扎 2 马库斯·德根 2 Ernst-Erich Doberkat 2 约翰·多夫兰 2 罗兰·杜库诺 2 马提亚斯·费莱森 2 罗伯特·布鲁斯,芬德勒 2 瑞科·赫克尔 2 乔斯·海因茨 2 穆罕默德·马赫迪·贾古奥里 2 朱塞佩·隆戈 2 马丁斯·莫雷拉,阿纳玛丽亚 2 吉列尔莫·马特拉 2 穆尼奥斯·卡洛,喀麦隆 2 Musicante,Martin A。 2 彼得·尼纳尔托夫斯基 2 尼诺,阿方索 2 詹姆斯·诺布尔。 2 阿恩·施·赫夫特 2 亚历克斯·波坦 2 秦胜超 2 托比亚斯·伦格 2 伊娜·谢弗 2 辛戈尔斯,朱利安 2 马尔詹·西尔贾尼 2 Souza Neto,Plácido A。 2 马丁·斯特芬 2 彼得·蒂曼。 2 克里希纳普拉萨德·瑟伦纳亚扬 2 托马斯·图姆 2 萨姆·托宾·霍施塔特 2 贝蒂·文内里 2 埃里克·瓦格纳。 2 威尔,斯特凡 2 詹姆斯·C·P·伍德科克。 1 帕克·阿伯克龙比 1 阿布努斯,拉兹米克 1 苏珊娜·亚伯拉罕扬 1 彼得·阿奇顿 1 马库斯·阿德霍尔德 1 Nazareno M.阿吉雷。 1 沃尔夫冈·阿伦特 1 约翰·爱德华·阿金 1 苏亚德·阿拉吉奇 1 玛丽亚·阿尔普恩特 1 阿夫申·阿米吉 1 Angyán,János G。 1 阿拉皮斯,君士坦丁 1 帕特里克·阿诺德 1 西里尔·阿尔托 1 培根,大卫·弗朗西斯 1 塞西莉·贝利斯 1 黛米斯·巴利斯 1 伯尔尼银行 1 巴迪,茨维 1 巴博萨、路易斯·索亚雷斯 1 迈克·巴奈特 1 埃齐奥·巴托西 1 巴塞罗那,玛丽亚·塞西莉亚 1 法国波德 1 塞巴斯蒂安·鲍尔。 1 亚历山大·贝格尔 1 多梅尼科·比安库利 1 马克·比克福德 1 加文·M·比尔曼。 1 莱克斯·比伊斯玛 1 拉尔斯·比克达尔 1 斯特凡·布隆 …还有364位作者 全部的 前5名51篇连载文章中引用 23 计算的形式方面 15 计算机程序设计科学 13 理论计算机科学 6 函数编程杂志 5 信息学报 5 信息与计算 5 逻辑与代数程序设计杂志 5 计算机语言、系统和结构 4 计算机物理通信 三 信息处理信件 三 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机部分 三 系统设计中的形式化方法 三 RAIRO公司。理论信息学及其应用 三 并行与计算:实践与经验 2 倒排索引综述 2 信息科学 2 编程和计算机软件 2 软件。实践与经验 2 复杂性杂志 2 数学和计算机建模 2 欧洲运筹学杂志 2 SIAM科学计算杂志 2 数学与人工智能年鉴 2 高阶和符号计算 2 中国科学。F系列 2 博莱大学Studia Universitatis Babeș。Informatica公司 1 人工智能 1 应用力学与工程中的计算机方法 1 离散应用数学 1 应用数学与计算 1 Automatica公司 1 计算机与系统科学杂志 1 符号计算杂志 1 计算机科学与技术杂志 1 自动推理杂志 1 运筹学年鉴 1 MSCS公司。计算机科学中的数学结构 1 工程软件进展 1 控制论与系统分析 1 北欧计算机杂志 1 欧洲控制杂志 1 科学计算与可视化 1 M2AN。数学建模和数值分析。欧洲应用和工业数学系列 1 工程计算 1 逻辑程序设计理论与实践 1 瑞赫信息 1 AMAST计算系列 1 计算机科学中的逻辑方法 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 计算机科学本科专题 全部的 前5名在15个字段中引用 222 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 5 数值分析(65-XX) 4 流体力学(76-XX) 三 运筹学、数学规划(90-XX) 2 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 偏微分方程(35-XX) 1 近似和展开(41至XX) 1 可变形固体力学(74-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 按年份列出的引文