艾菲尔 swMATH标识： 3522 软件作者： 贝特朗·梅耶 说明： Eiffel是一种ISO标准化的面向对象编程语言，由bertrandmeyer（面向对象的支持者和面向对象软件构造的作者）和Eiffel软件设计。语言的设计与埃菲尔编程方法密切相关。它们都是基于一套原则，包括契约设计、命令查询分离、统一访问原则、单选原则、开闭原则和选项操作数分离。埃菲尔最初引入的许多概念后来在Java、C#和其他语言中找到了它们的方法。新的语言设计思想，特别是通过Ecma/ISO标准化过程，继续被纳入埃菲尔语言。 主页： https://en.wikipedia.org/wiki/Eiffel\%28编程语言%29 相关软件： 吉咪;小话;规格#;Z;电子稳定控制系统/Java;蚋67;哈斯克尔;Ada95型;布吉;喀拉喀托;落叶松;可口可乐;克隆;PVS公司;羽状爪哇;循环;贾斯;朱尼特;钥匙;阿斯特里 参考文献： 225种出版物 标准条款 4种出版物描述软件，包括4种出版物在zbMATH 年 面向对象软件构造。包括1张CD-ROM。第二版。 Zbl 0987.68516梅耶，伯特兰 1997 埃菲尔的面向对象编程。第二版。 邮政编码：0888.68028托马斯，皮特;威登，雷 1997 埃菲尔。语言。 Zbl 0779.68013梅耶，伯特兰 1992 面向对象软件构造。（目标定位软件威克伦，美国，尤伯斯，沃纳·西蒙斯梅尔） Zbl 0719.68012梅耶，伯特兰 1990 全部的 前5名437位作者引用 8 梅耶，伯特兰 6 莱文斯，加里·T。 5 德波尔，弗兰克·S。 5 波尔科拉布，佐坦 4 米哈利，比奇索 4 洛佐，弗朗西斯科 4 米切尔，约翰·C。 4 米勒，彼得 4 诺曼，大卫A。 4 欠你的，奥拉夫 4 佩奇，理查德F。 三 布鲁克，菲利普J。 三 布鲁斯，金B。 三 富里亚，卡洛·阿尔贝托 三 约翰森，艾纳·布洛赫 三 莱诺，K.鲁斯坦M。 三 奥尔德罗，恩斯特-吕迪格 三 奥斯特罗夫，乔纳森S。 三 Pócza，克里斯蒂安 2 美国，皮埃尔 2 阿普特，拉法 2 贝蒂尼，洛伦佐 2 布拉切克，Günther 2 卡佩奇，萨拉 2 卡斯特罗，玛丽娅·尤金尼亚 2 安娜，卡瓦尔康蒂 2 钱，约恩西克 2 乔西亚，汤姆 2 马尔西奥·科内里奥 2 库索，帕特里克 2 库索，拉迪亚 2 达科斯塔，翁贝托苏扎 2 德根，马库斯 2 多伯卡特，恩斯特·埃里希 2 多夫兰，约翰 2 杜库诺，罗兰 2 费莱森，马提亚斯 2 芬德勒，罗伯特·布鲁斯 2 费舍尔，凯瑟琳 2 海克尔，灵子 2 海因茨，乔斯 2 贾古里，穆罕默德·马赫迪 2 隆戈，朱塞佩 2 马丁斯·莫雷拉，阿纳玛丽亚 2 马特拉，吉勒莫 2 穆尼奥斯卡罗，茶花 2 穆斯坎特，马丁A。 2 尼纳尔托夫斯基，皮奥特 2 尼诺，阿方索 2 波茨许·赫夫特 2 秦胜超 2 西尔贾尼，马扬 2 索扎·内托，普莱西多A。 2 斯特芬，马丁 2 蒂曼，彼得J。 2 克里希纳普拉萨德，蒂鲁纳亚雷安 2 托宾·霍克施塔特，萨姆 2 韦内里，贝蒂 2 瓦格纳，埃里克G。 2 威尔，斯特凡 2 伍德考克，詹姆斯·C·P。 1 阿伯克龙比，帕克 1 Abnous，拉兹米克 1 阿布拉罕米扬，苏珊娜 1 阿克滕，彼得 1 阿德尔霍尔德，马库斯 1 阿吉尔，纳扎里诺M。 1 阿伦特，沃尔夫冈 1 阿金，约翰·爱德华 1 阿拉吉，苏亚德 1 阿普特，玛里亚 1 阿夫申阿米吉 1 Ángyán，János G。 1 阿拉皮斯，康斯坦丁 1 阿诺德，帕特里克 1 阿尔索，西里尔 1 培根，大卫·弗朗西斯 1 Bailes，Cecily 1 巴利斯，黛米斯 1 伯纳德银行 1 巴尔大卫，Tsvi 1 巴博萨，鲁伊斯·苏亚雷斯 1 巴内特，迈克 1 巴托奇，埃齐奥 1 巴斯塔里卡，玛莉亚·塞西莉亚 1 鲍德，弗朗索瓦 1 鲍尔，塞巴斯蒂安S。 1 伯格尔，亚历山德拉 1 比安卡利，多梅尼科 1 比克福德，马克 1 比尔曼，加文·M。 1 比尔斯玛，莱克斯 1 伯克达尔，拉尔斯 1 布洛姆，斯特凡 1 伯多夫，斯蒂芬妮 1 布加尔德，迈克尔A。 1 波塔，尼古拉 1 鲍曼，理查德·肖恩 1 博兹加，D。 1 布兰德斯，乌尔里克 …还有337位作者 全部的 前5名在47个系列中引用 23 计算的形式化方面 15 计算机程序设计学 13 理论计算机科学 6 函数程序设计杂志 5 信息学报 5 信息与计算 5 逻辑与代数程序设计杂志 5 计算机语言、系统与结构 4 计算机物理通信 三 信息处理信函 三 布达佩斯汀科学大学年鉴。计算机部门 三 系统设计中的形式化方法 三 雷罗。理论信息学与应用 三 并行与计算：实践与经验 2 倒排索引综述 2 信息科学 2 编程与计算机软件 2 软件。实践与经验 2 复杂性杂志 2 数学与计算机建模 2 欧洲运筹学杂志 2 暹罗科学计算杂志 2 数学与人工智能年鉴 2 高阶与符号计算 2 中国的科学。F系列 2 博雅大学研究所。信息 1 人工智能 1 应用力学与工程中的计算机方法 1 离散应用数学 1 应用数学与计算 1 自动 1 计算机与系统科学杂志 1 符号计算杂志 1 计算机科学与技术杂志 1 运筹学年鉴 1 MSCS公司。计算机科学中的数学结构 1 工程软件进展 1 控制论与系统分析 1 北欧计算杂志 1 欧洲控制杂志 1 科学中的计算与可视化 1 M2AN。数学模型和数值分析。欧洲应用与工业数学系列 1 工程计算 1 计算机科学系列 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 计算机科学本科专题 全部的 前5名在15个字段中引用 213 计算机科学（68-XX） 16 数理逻辑与基础（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） 按年份引用出版物