计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
1-15,38
,共16页
Ada%程序设计语言%强类型机制%程序包%分别编译%异常处理%类属单元%面向对象程序设计%并发程序设计%契约式程序设计%大型软件开发
Ada%程序設計語言%彊類型機製%程序包%分彆編譯%異常處理%類屬單元%麵嚮對象程序設計%併髮程序設計%契約式程序設計%大型軟件開髮
Ada%정서설계어언%강류형궤제%정서포%분별편역%이상처리%류속단원%면향대상정서설계%병발정서설계%계약식정서설계%대형연건개발
Ada%Programming languages%Strong typing mechanism%Program packages%Separate compilation%Exception handling%Generic units%Object oriented programming%Concurrent program design%Programming by contracts%Large software development
Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用.Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率.Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响.Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用.诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发.迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性.从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析.
Ada語言誕生于1979年,1980年被指定為美國軍用標準,1983年被正式確立為ISO標準併投入使用.Ada所追求的主要目標是:程序的可靠性與可維護性、程序設計作為人的活動(彊調程序可讀性比可寫性更重要)以及效率.Ada憑藉其彊大的功能、良好的可靠性以及對軟件工程思想的優良體現在20世紀最後20年對程序設計語言的髮展產生瞭重要影響.Ada廣汎應用于高可靠、長生存期的大型軟件研髮,在軍事、商業、公共交通、金融等領域的覈心軟件開髮中髮揮著重要作用.諸多歐美國傢的國防與空中管製繫統、交通運輸繫統、銀行安全防衛繫統等均使用Ada語言研製開髮.迄今為止,國際標準組織先後確立過Ada 83,Ada 95,Ada 2005,Ada 2012等4箇語言標準,新標準在舊標準的基礎上均保持瞭良好的兼容性.從語言機製、應用、影響力等方麵對Ada語言的髮展進行全麵的介紹和分析.
Ada어언탄생우1979년,1980년피지정위미국군용표준,1983년피정식학립위ISO표준병투입사용.Ada소추구적주요목표시:정서적가고성여가유호성、정서설계작위인적활동(강조정서가독성비가사성경중요)이급효솔.Ada빙차기강대적공능、량호적가고성이급대연건공정사상적우량체현재20세기최후20년대정서설계어언적발전산생료중요영향.Ada엄범응용우고가고、장생존기적대형연건연발,재군사、상업、공공교통、금융등영역적핵심연건개발중발휘착중요작용.제다구미국가적국방여공중관제계통、교통운수계통、은행안전방위계통등균사용Ada어언연제개발.흘금위지,국제표준조직선후학립과Ada 83,Ada 95,Ada 2005,Ada 2012등4개어언표준,신표준재구표준적기출상균보지료량호적겸용성.종어언궤제、응용、영향력등방면대Ada어언적발전진행전면적개소화분석.
