徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
下载
比浏览器更快的访问!
 

芭芭拉·利斯科夫

指数 芭芭拉·利斯科夫

芭芭拉·利斯科夫(Barbara Liskov,),本名Barbara Jane Huberman。美国计算机科学家,2008年图灵奖得主, from the Dr. Dobb's Journal website2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。.

24 关系: 加州大学伯克利分校史丹佛大學子类型周以真图灵奖CLU约翰·冯诺依曼奖约翰·麦卡锡编程语言美国美国工程院电气电子工程师学会面向对象面向对象程序设计计算机协会计算机科学计算机领域中的女性麻省理工学院软件工程里氏替换原则Liskov代換原則The Boston Globe操作系统数据库

加州大学伯克利分校

#重定向 加利福尼亞大學柏克萊分校.

新!!: 芭芭拉·利斯科夫和加州大学伯克利分校 · 查看更多 »

史丹佛大學

小利蘭·史丹福大學(Leland Stanford Junior University),常直接稱為史丹福大學(Stanford University),為一所坐落於美國加利福尼亞州史丹福的私立研究型大學,因其學術聲譽和创业氛围而獲評為世界上最知名的高等學府之一。 斯坦福大學於1891年由時任加州參議員及州長的鐵路大亨利蘭·史丹福和他的妻子創辦。這是為了紀念他們因傷寒而於16歲生日前夕去世的兒子()。其為男女及宗教自由的學校,在1930年代前所有學費全免。可是,1893年利蘭·史丹福的逝世及1906年對校園造成重大損毀的三藩市大地震,為該校帶來嚴重的財政困難後才開始收費。二次世界大戰後,時任學校教務長的弗雷德里克·特曼全力支持校友與教職員的企業精神,希望能建立一個自給自足的本地工業,這也是現今硅谷的源流。自上世紀七十年代,史丹福成為了美國SLAC國家加速器實驗室的所在地,及其中一個高等研究計劃署網路(互聯網雛形)的起源地。 學校的校園位於矽谷的西北方,鄰近帕羅奧圖。校方的各個學術部門被歸入七所學術學院內,而包括生物保育區及加速實驗室在內的其他資產則設於主校區之外。此校同時為最富有的教育機構之一,並為第一所在一年內獲得超過十億美元捐款升幅的大學。 史丹福為一所擁有高住宿率及高選擇性的大學,當中的研究生課程較本科的多元化。該校也是馬丁路德金手寫原稿的保存地。史丹福學生透過36支代表隊參與不同的體育競賽,其為兩所太平洋十二校聯盟的私立大學之一。有關校隊曾奪得過104次大學體育協會賽事的冠軍,成績於眾多大學中位列第二。自1994-95年起,其亦一直為全國大學體育競技董事杯的年度得主。 史丹福培養了不少著名人士。其校友涵蓋30名富豪企業家及17名太空員,亦為培養最多美國國會成員的院校之一。史丹福校友創辦了眾多著名的公司機構,如:谷歌、雅虎、惠普、耐克、昇陽電腦等,這些企業的資金合計相等於全球第十大經濟體系。共81名諾貝爾獎得主現或曾於該校學習或工作。.

新!!: 芭芭拉·利斯科夫和史丹佛大學 · 查看更多 »

子类型

在编程语言理论中,子类型(动名词,subtyping)是一种类型多态的形式。这种形式下,子类型(名词,subtype)可以替换另一种相关的数据类型(超类型,supertype)。也就是说,针对超类型元素进行操作的子程序、函数等程序元素,也可以操作相应的子类型。如果 S 是 T 的子类型,这种子类型关系通常写作 S number 的语言。在第一种情况下,整数类型将是浮点数类型的子类型;在第二种情况下,这两个类型都是 number 的子类型而相互之间无子类型关系。 编程者可利用子类型来以比没有它更抽象的方式来写代码。考虑下面的例子: 如果整数和实数都是 number 的子类型,则二者任何类型都可以传递给这个函数。为此,子类型经常被认为是一种形式的多态性。上述例子也可以比较于 C++ 语言的模板。 在类型论中,子类型关系经常写为 <:,有着 A<:B 意味着 A 是 B 的子类型。在类型论中子类型可用如下事实来特征化,如果 A<:B,类型 A 的任何表达式也可被给予类型 B;立法这个特征化的形式类型规则叫做“包容”规则。.

新!!: 芭芭拉·利斯科夫和子类型 · 查看更多 »

周以真

周以真(英文名Jeannette M. Wing,),美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。 她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作,提出了著名的Liskov代換原則,是面向对象基本原则之一。 1979年6月在麻省理工学院获得学士和硕士学位,导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。 1983—1985年,在南加州大学任助理教授。1985年起,任教于卡内基梅隆大学。2004—2007年间,曾担任该校计算机系主任。 2006年3月,在美国计算机权威期刊《Communications of the ACM》杂志上给出,并定义的计算思维(Computational Thinking)。 认为:计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。.

新!!: 芭芭拉·利斯科夫和周以真 · 查看更多 »

图灵奖

图灵奖(ACM A.M. Turing Award),又譯杜林獎、A.M.图灵奖,是计算机协会(ACM)于1966年设立的獎項,专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵(A.M. Turing),这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。.

新!!: 芭芭拉·利斯科夫和图灵奖 · 查看更多 »

CLU

CLU 是一门由麻省理工学院(MIT)的芭芭拉·利斯科夫和她的学生在1974年到1975年创造的编程语言。虽然它没有被广泛使用,但它引入了许多现在广泛使用的特性,并被视为面向对象(OOP)编程发展的重要一步。 然而,它并不是面向对象的,而是被认为基于对象的语言,因为它缺乏OOP的许多特性。 主要贡献包括抽象資料型別, 传需求调用,迭代器,多值返回 (并行赋值形式), 泛型,和不定型別。值得注意的是它使用了类与构造器和方法,但没有 继承。.

新!!: 芭芭拉·利斯科夫和CLU · 查看更多 »

约翰·冯诺依曼奖

IEEE約翰·馮·諾伊曼獎章(IEEE John von Neumann Medal)由IEEE成立於於1990年,目的是表扬在計算機科學和技術上具有傑出成就的科學家。該獎項以對計算機科學具有重大貢獻的現代計算機創始人之一約翰·馮·諾伊曼命名。.

新!!: 芭芭拉·利斯科夫和约翰·冯诺依曼奖 · 查看更多 »

约翰·麦卡锡

约翰·麦卡锡(John McCarthy,),生于美国马萨诸塞州波士顿,计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.

新!!: 芭芭拉·利斯科夫和约翰·麦卡锡 · 查看更多 »

编程语言

编程语言(programming language),是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧,用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据,并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的,當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言,而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序,而有些编程語言則屬於宣告式編程,說明需要的結果,而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中,哪些符號或文字的組合方式是正確的,語義則是對於編程的解釋。有些語言是用規格文件定義,例如C語言的規格文件也是ISO標準中一部份,2011年後的版本為ISO/IEC 9899:2011,而其他55語言(像Perl)有一份主要的文件,視為是。.

新!!: 芭芭拉·利斯科夫和编程语言 · 查看更多 »

美国

美利堅合眾國(United States of America,簡稱为 United States、America、The States,縮寫为 U.S.A.、U.S.),通稱美國,是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部,東臨大西洋,西臨太平洋,北面是加拿大,南部和墨西哥及墨西哥灣接壤,本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方,東部為加拿大,西隔白令海峽和俄羅斯相望;夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外,美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积,位居世界第三(依陆地面積定義为第四大国);同时拥有接近超过3.3億人口,為世界第三人口大国。因为有着來自世界各地的大量移民,它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).

新!!: 芭芭拉·利斯科夫和美国 · 查看更多 »

美国工程院

#重定向 美国国家工程院.

新!!: 芭芭拉·利斯科夫和美国工程院 · 查看更多 »

电气电子工程师学会

電機電子工程師學會(Institute of Electrical and Electronics Engineers,簡稱為IEEE,英文读作“i triple e”)是一个建立於1963年1月1日的国际性电子技术与电子工程师协会,亦是世界上最大的专业技术组织之一,擁有來自175個國家的36萬會員。 除設立於美國紐約市的總部以外,亦在全球150多個國家擁有分會,並且還有35個專業學會及2個聯合會。其每年均會發表多種雜誌、學報、書籍,亦舉辦至少300次的專業會議。 目前IEEE在工業界所定義的標準有著極大的影響。.

新!!: 芭芭拉·利斯科夫和电气电子工程师学会 · 查看更多 »

面向对象

面向对象可以指:.

新!!: 芭芭拉·利斯科夫和面向对象 · 查看更多 »

面向对象程序设计

面向对象程序设计(Object-oriented programming,缩写:OOP)是種具有物件概念的程式編程典範,同时也是一种程序开发的抽象方针。它可能包含資料、、程式碼與方法。对象則指的是类的实例。它将对象作为程序的基本单元,将程序和数据封装其中,以提高软件的重用性、灵活性和扩展性,物件裡的程序可以訪問及經常修改物件相關連的資料。在物件導向程式編程裡,電腦程式會被設計成彼此相關的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想,这与传统的思想刚好相反:传统的程序设计主张将程序看作一系列函数的集合,或者直接就是一系列对电脑下达的指令。面向对象程序设计中的每一个对象都应该能够接受数据、处理数据并将数据传达给其它对象,因此它们都可以被看作一个小型的“机器”,即对象。目前已经被证实的是,面向对象程序设计推广了程序的灵活性和可维护性,并且在大型项目设计中广为应用。此外,支持者声称面向对象程序设计要比以往的做法更加便于学习,因为它能够让人们更简单地设计并维护程序,使得程序更加便于分析、设计、理解。反对者在某些领域对此予以否认。 当我们提到面向对象的时候,它不仅指一种程序设计方法。它更多意义上是一种程序开发方式。在这一方面,我们必须了解更多关于面向对象系统分析和面向对象设计(Object Oriented Design,简称OOD)方面的知识。許多流行的程式語言是物件導向的,它們的風格就是會透由物件來創出實例。 重要的物件導向程式語言包含Common Lisp、Python、C++、Objective-C、Smalltalk、Delphi、Java、Swift、C#、Perl、Ruby 與 PHP等。.

新!!: 芭芭拉·利斯科夫和面向对象程序设计 · 查看更多 »

计算机协会

计算机协会(Association for Computing Machinery,简称ACM)是一个世界性的计算机从业员专业组织,创立于1947年,是世界上第一个科学性及教育性计算机学会,亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊,并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界(但主要在美国)举办世界性讲座及会谈,以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道,以供会员在工作之余或家中提升自己的专业技能。截止20世纪末,ACM在全球拥有75,000个以上的成员,包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士(Fellow)。 ACM通过它的35个特别兴趣组(Special Interest Group,SIG)提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业,如计算机系统结构专业组(computer architecture,SIGARCH)和计算机图形与互动技术专业组(computer graphics and interactive techniques,SIGGRAPH)。这些特别兴趣组中有不少是跨学科的,适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织,为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务,搜集信息,准备讲座,组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM,刊有一些广泛兴趣的文章,并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊,这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项,来表彰计算机领域的技术和专业成就。最高奖项为图灵奖(Turing Award),常被形容为计算机领域的诺贝尔奖。.

新!!: 芭芭拉·利斯科夫和计算机协会 · 查看更多 »

计算机科学

计算机科学用于解决信息与计算的理论基础,以及实现和应用它们的实用技术。 计算机科学(computer science,有时缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域;有些强调特定结果的计算,比如计算机图形学;而有些是探討计算问题的性质,比如计算复杂性理论;还有一些领域專注于怎样实现计算,比如程式語言理論是研究描述计算的方法,而程式设计是应用特定的程式語言解决特定的计算问题,人机交互则是專注于怎样使计算机和计算变得有用、好用,以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业(比如信息技术),或者只是与使用计算机的经验有关,如玩游戏、上网或者文字处理。其实计算机科学所关注的,不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质,更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学(computer science)的名字里包含计算机这几个字,但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此,一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学(computing science),以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy",以反映这一事实,即科学学科是围绕着数据和数据处理,而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院,该学院成立于1969年,Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时,在计算技术发展初期,《ACM通讯》建议了一些针对计算领域从业人员的术语:turingineer,turologist,flow-charts-man,applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上,comptologist被提出,第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆,起源于信息(information)和数学或者自动(automatic)的名字比起源于计算机或者计算(computation)更常见,如informatique(法语),Informatik(德语),informatika(斯拉夫语族)。 著名计算机科学家Edsger Dijkstra曾经指出:“计算机科学并不只是关于计算机,就像天文学并不只是关于望远镜一样。”("Computer science is no more about computers than astronomy is about telescopes.")设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如,研究计算机硬件被看作是计算机工程的一部分,而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而,现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉,比如心理学,认知科学,语言学,数学,物理学,统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切,一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大,如Kurt Gödel和Alan Turing,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。.

新!!: 芭芭拉·利斯科夫和计算机科学 · 查看更多 »

计算机领域中的女性

随着新兴的信息时代到来,全球关注计算机领域中的女性,她们在当下和未来职场的作用会变得越来越重要。.

新!!: 芭芭拉·利斯科夫和计算机领域中的女性 · 查看更多 »

麻省理工学院

麻省理工學院(Massachusetts Institute of Technology,縮寫為MIT)是位於美國麻薩諸塞州劍橋市的私立研究型大學。成立於1861年,當時目的是為了響應。學校採用了辦學,早期著力於應用科學與工程學的實驗教學。麻省理工的研究人員在二戰及冷戰期間,致力開發電腦、雷達及慣性導航系統技術;戰後的防禦性科技研究使學校得以進一步發展,教職員人數及校園面積在的帶領下有所上升。大學於1916年遷往現在位於查爾斯河北岸的校址,沿岸伸延逾,佔地。 擁有6間學術學院、32個學系部門的麻省理工學院常獲納入全球最佳學府之列。學校一直聞名於物理科學與工程學的教研,但在近代亦大力發展諸如生命科學、經濟學、管理學、語言學等其他學術範疇。別名「工程師」的麻省理工體育校隊合計31支,涵蓋不同項目,學生因此可參與不同類型的跨校體育聯賽。 ,著名麻省理工師生、校友或研究人員包括了91位諾貝爾獎得主、52位國家科學獎章獲獎者、45位羅德學者、38名麥克阿瑟獎得主、6名菲爾茲獎獲獎者、25位图灵奖得主。此校同時具很強的創業文化,由其校友所創辦的公司利潤總值相當於全球第十一大經濟體。.

新!!: 芭芭拉·利斯科夫和麻省理工学院 · 查看更多 »

软件工程

软件工程(quote) 1968年秋季,NATO(北約)的科技委員會召集了近50名一流的編程人員、計算機科學家和工業界巨頭,討論和制定擺脫“軟體危機”的對策。在那次會議上第一次提出了軟體工程(software engineering)這個概念,研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件,以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。其后的几十年里,各种有关软件工程的技术、思想、方法和概念不断被提出,软件工程逐步发展为一门独立的科学。 1993年,电气电子工程师学会(IEEE)给出了一个更加综合的定义:"将系统化的、规范的、可度量的方法用于软件的开发、运行和维护的过程,即将工程化应用于软件开发中"。此后,IEEE多次给出软件工程的定义。 在现代社会中,软件应用于多个方面。典型的软件比如有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时,各个行业几乎都有计算机软件的应用,比如工业、农业、银行、航空、政府部门等。这些应用促进了经济和社会的发展,提高人们的工作效率,同时提升了生活质量。 软件工程师是对应用软件创造软件的人们的统称,软件工程师按照所处的领域不同可以分为系统分析师、系统架构师、软件设计师、程序员、测试工程师、界面与交互设计师等等。各种软件工程师人们俗称程序员。.

新!!: 芭芭拉·利斯科夫和软件工程 · 查看更多 »

里氏替换原则

在面向对象的程序设计中,里氏替换原则(Liskov Substitution principle)是对子类型的特别定义。它由芭芭拉·利斯科夫(Barbara Liskov)在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。 里氏替换原则的内容可以描述为: “派生类(子类)对象能够替换其基类(超类)对象被使用。” 以上内容并非利斯科夫的原文,而是译自罗伯特·马丁(Robert Martin)对原文的解读。其原文为: 芭芭拉·利斯科夫与周以真(Jeannette Wing)在1994年发表论文并提出的以上的Liskov代換原則。.

新!!: 芭芭拉·利斯科夫和里氏替换原则 · 查看更多 »

Liskov代換原則

#重定向 里氏替换原则.

新!!: 芭芭拉·利斯科夫和Liskov代換原則 · 查看更多 »

The Boston Globe

#重定向 波士頓環球報.

新!!: 芭芭拉·利斯科夫和The Boston Globe · 查看更多 »

操作系统

操作系统(operating system,縮寫作 OS)是管理计算机硬件與软件資源的计算机程序,同时也是计算机系统的核心与基石。操作系统需要处理如管理與配置内存、決定系統資源供需的優先次序、控制輸入與輸出裝置、操作网络與管理文件系统等基本事務。操作系统也提供一個讓使用者與系統互動的操作界面。 操作系统的型態非常多樣,不同機器安裝的操作系统可從簡單到複雜,可從行動電話的嵌入式系统到超級電腦的大型作業系統。許多操作系统製造者對它涵盖范畴的定义也不尽一致,例如有些操作系统整合了图形用户界面,而有些僅使用命令行界面,而將图形用户界面視為一種非必要的應用程式。 操作系统理论在计算机科学中,為歷史悠久的分支;。.

新!!: 芭芭拉·利斯科夫和操作系统 · 查看更多 »

数据库

--,簡而言之可視為電子化的檔案櫃——儲存电子檔案的處所,使用者可以對檔案中的資料執行新增、擷取、更新、刪除等操作。 所謂「資料庫」係以一定方式储存在一起、能予多个用户共享、具有尽可能小的冗余度、与应用程序彼此独立的数据集合。.

新!!: 芭芭拉·利斯科夫和数据库 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »