×

艾菲尔

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型;凯伊
引用于: 234文件
全部的 前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多伯卡特
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 Reihe Informatik公司
1 AMAST计算系列
1 计算机科学中的逻辑方法
1 计算机科学前沿
1 程序设计中的逻辑和代数方法杂志
1 计算机科学本科专题

按年份列出的引文