加入收藏 | 设为首页 权威学术期刊杂志介绍平台,展示学术期刊行业第一!就在400期刊网!

全国免费咨询电话:

计算机科学杂志社

关注我们

当前位置:首页 > 学术论文 > 科技类 >

[儿童语言发展论文]Ada语言的发展

本文作者:吴迪;徐宝文;成功正常投稿发表论文到《计算机科学》2014年01期,引用请注明来源400期刊网!



【摘要】:Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada83,Ada95,Ada2005,Ada2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
【论文正文预览】:1引言Ada是20世纪70年代末美国国防部为了解决软件危机而研制的通用程序设计语言,它以Pascal语言为基础开发实现。Ada既继承了众多优秀高级语言的先进思想与设施,同时融合了C++等流行语言的功能,是至今涉及范围最广、耗资最多的语言设计工作的成果。Ada不仅具有完善且可靠的类
【文章分类号】:TP312.1
【稿件关键词】:Ada程序设计语言强类型机制程序包分别编译异常处理类属单元面向对象程序设计并发程序设计契约式程序设计大型软件开发
【参考文献】:
  • 徐宝文;Ada95语言评述[J];计算机研究与发展;1997年01期
  • 徐宝文;Ada95与面向对象的程序设计[J];计算机研究与发展;1997年01期
  • 徐宝文;Ada95层次库结构与大型软件开发[J];计算机研究与发展;1997年01期
  • 徐宝文;Ada95保护对象与面向数据的同步[J];计算机研究与发展;1997年01期
  • 徐宝文;试论高级程序设计语言的设计与评价标准[J];南京航空航天大学学报;1987年02期
  • 徐宝文;关于Ada语言的几点修正意见[J];南京航空航天大学学报;1987年03期
  • 徐宝文;军用计算机语言初论[J];南京航空航天大学学报;1989年02期
  • 徐宝文;关于Ada95变体部分等语法的修正意见[J];计算机研究与发展;1997年01期
  • Peter Wegner;麦中凡;姜静波;;Ada的成就与不足[J];计算机科学;1988年01期
  • 徐宝文;Ada语言回顾与展望[J];计算机应用;1989年03期
  • 戚冬;刘克礼;张文盛;;词法分析程序的一种高效实现[J];安徽广播电视大学学报;2008年03期
  • 王一宾;基于面向对象的编译原理实验的研究[J];安庆师范学院学报(自然科学版);2002年04期
  • 张玉州,姚晟;词法分析的有效工具[J];安庆师范学院学报(自然科学版);2005年03期
  • 张玉州;王一宾;江克勤;;抽象语法树在属性计算中的应用[J];安庆师范学院学报(自然科学版);2008年04期
  • 陈义仁;王一宾;;DFA化简算法的一种改进方法[J];安庆师范学院学报(自然科学版);2009年01期
  • 杨超;王一宾;;一种改进的词法分析程序及其类C语言实现[J];安庆师范学院学报(自然科学版);2009年04期
  • 张玉州;;编译实验教学之LR(0)分析表的分析与构造[J];安庆师范学院学报(自然科学版);2011年01期
  • 王一宾;陈义仁;;研究性学习理念下的《编译原理》教学研究[J];安庆师范学院学报(自然科学版);2011年04期
  • 孙冀侠,李迎春,李季,姜秀玉;提高编译程序容错能力的方法[J];鞍山师范学院学报;2003年02期
  • 孙冀侠;何丽宏;;基于大规模文法的LR表的优化策略[J];鞍山师范学院学报;2006年02期
  • 张维勇;潘承锦;陆阳;;大坝安全监测系统结构设计及采样数据处理策略研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
  • 蔡启先;王智文;陈志成;;跨平台的汇编语言集成环境的设计与实现[A];广西计算机学会2008年年会论文集[C];2008年
  • 张琨;;面向对象软件的测试过程与方法的研究[A];第七届青年学术会议论文集[C];2005年
  • 付剑晶;遥感软件知识产权与数字遥感影像版权保护[D];浙江大学;2012年
  • 薄涛;格斗空战行为建模技术研究[D];国防科学技术大学;2002年
  • 李海奎;FORSTAT(统计之林)核心部分关键技术的研究与实现[D];北京林业大学;2003年
  • 杨沁;个性化产品需求描述方法的研究[D];合肥工业大学;2005年
  • 鲁建壮;单芯片多处理器关键技术的研究与实现[D];国防科学技术大学;2005年
  • 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
  • 吴圣宁;嵌入式处理器编译器关键技术研究[D];国防科学技术大学;2007年
  • 陈洪辉;基于多视图的C~4ISR系统需求一致性验证方法研究[D];国防科学技术大学;2007年
  • 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
  • 罗飞;具有数据依赖的对等高性能计算关键技术研究[D];华中科技大学;2008年
  • 魏红;网络互连配置仿真培训系统的设计和实现[D];苏州大学;2010年
  • 王浩;基于XML的开放式工业机器人解释器的研究[D];华南理工大学;2010年
  • 文昕;高校考勤管理系统设计与实现[D];南昌大学;2010年
  • 刘月;综合测试平台ISEE中ASN.1的应用与实现[D];西安电子科技大学;2009年
  • 邢卓媛;基于UEFI的网络协议栈的研究与改进[D];华东师范大学;2011年
  • 张延辉;审计管理信息系统研究与实现[D];复旦大学;2011年
  • 张琳;基于OR1200的软件开发平台设计[D];山东大学;2011年
  • 杨华;基于嵌入式系统的多功能信号设备电气参数测试仪研究与设计[D];西南交通大学;2011年
  • 于炳霞;基于嵌入式软件的覆盖测试技术研究[D];南京航空航天大学;2010年
  • 曹爽;航空软件测试用例自动生成方法研究[D];南京航空航天大学;2010年
  • 徐宝文;Ada95与面向对象的程序设计[J];计算机研究与发展;1997年01期
  • 徐宝文;Ada95层次库结构与大型软件开发[J];计算机研究与发展;1997年01期
  • 徐宝文;Ada95保护对象与面向数据的同步[J];计算机研究与发展;1997年01期
  • 徐宝文,王振宇;Ada分别编译及其实现[J];计算机学报;1987年02期
  • 徐宝文;试论高级程序设计语言的设计与评价标准[J];南京航空航天大学学报;1987年02期
  • 方同祝,牛文章;Ada语言在控制系统仿真中的应用[J];微机发展;1996年02期
  • 王坤;;非计算机专业C~(++)程序设计教学研究[J];软件导刊;2008年01期
  • 杨小琴;;JAVA程序设计语言的一点体会[J];电脑知识与技术;2011年03期
  • 徐宝文;试论基于Ada的PDL[J];计算机研究与发展;1993年04期
  • 佟金荣;麦中凡;;Robin Milner谈程序语言及计算机科学——Karen A.Frenkel访问记[J];计算机科学;1993年06期
  • 王志俊;;浅析C与C#[J];科学之友(B版);2009年06期
  • Henry F.Ledgard;Andrew Singer;王振宇;向达贵;;缩减Ada(或抽取一个标准的Ada子集)[J];计算机科学;1983年04期
  • 谭维炎;;水文的应用软件和专用程序设计语言[J];水文;1981年02期
  • 周樑;;面向对象的程序设计风格及有关语言的特性[J];计算机科学;1989年04期
  • ;新书上架[J];程序员;2005年10期
  • 覃如贤;;C程序设计语言的教学模式探讨[A];2011高等职业教育电子信息类专业学术暨教学研讨会论文集[C];2011年
  • 王先耀;;基于Windows 32位平台基础上面向对象的程序设计及开发工具[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(下册)[C];2002年
  • 麦中凡;车敦仁;葛健;;持久性程序设计语言与数据库程序设计语言[A];第十届全国数据库学术会议论文集[C];1992年
  • 王慧;孙铁利;;一种新的基于Java和Prolog的智能Agent实现方案[A];Java技术及应用的进展——第八届中国Java技术及应用交流大会文集[C];2005年
  • 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
  • 朱斌;解晓萌;刘惠芳;;用面向对象方法实现Palm OS上的数据库编程[A];第六届全国计算机应用联合学术会议论文集[C];2002年
  • 王志;王占科;熊小平;余文;;腺苷酸脱氨酶测定在肝脏疾病的诊断意义[A];华东六省一市生物化学与分子生物学学会2006年学术交流会论文集[C];2006年
  • 侯米娜;赵致琢;李慧琪;苏剑煌;李松斌;;逻辑程序设计语言G?del中等词的研究及实现简报[A];2006年全国理论计算机科学学术年会论文集[C];2006年
  • 顾丽娜;陶卓彬;宋炎淼;;.NET异常机制分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
  • 谭述君;钟万勰;;现代控制系统设计与仿真——使用PIMCSD程序包[A];庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007论文摘要集(下)[C];2007年
  • 王咏刚;接受程序设计语言的再教育[N];中华读书报;2005年
  • 本报记者 何进伟;走到幕前的Adaptec[N];网络世界;2001年
  • 李柠;Adaptec专注数据存储[N];中国计算机报;2001年
  • 本报记者 李柠;在技术发展的浪尖扬帆[N];中国计算机报;2001年
  • 本报记者 孟昭晖;Adaptec的SAN策略[N];网络世界;2001年
  • 王超宇 译;新糖尿病药物研发情况在ADA会议上引发关注[N];中国医药报;2010年
  • 本报记者 贺宏良;Adaptec:眺望“后”SCSI时代[N];中国计算机报;2000年
  • 驻京记者 王丹;ADA糖尿病诊治指南亮点关注[N];医药经济报;2010年
  • 中国科学院软件研究所 宋靖宇;程序设计语言的进化[N];计算机世界;2004年
  • 王炜;2011 ADA糖尿病诊疗指南亮点荟萃[N];医药经济报;2011年
  • 李斌;智能体结构IASC与面向智能体程序设计语言IAPL的研究及实现[D];南京航空航天大学;2001年
  • 曹中清;无单元法及其面向对象程序实施[D];西南交通大学;2006年
  • 唐祖锴;对象代理程序设计语言研究[D];武汉大学;2011年
  • 李东来;服务资源不确定性问题及其引发的异常处理方法研究[D];中国科学院研究生院(计算技术研究所);2006年
  • 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
  • 朱锦泉;可适应工作流模型及其实现机制研究[D];吉林大学;2005年
  • 李淑霞;复杂信息环境下MES若干关键技术研究[D];华中科技大学;2004年
  • 唐锋;动态二进制翻译优化研究[D];中国科学院研究生院(计算技术研究所);2006年
  • 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
  • 袁逸萍;制造网格工作流研究及实现[D];上海大学;2006年
  • 石鹏飞;J2EE企业门户网站技术研究[D];浙江大学;2006年
  • 董婷;成都电信实时计费系统中的话单分析及处理[D];电子科技大学;2008年
  • 韩琴;ERP系统开发中基于缺省工作流模型的研究和应用[D];华东师范大学;2005年
  • 李晓慧;魔力平台中工作流异常处理的研究与实现[D];哈尔滨工程大学;2010年
  • 杨晓丽;工作流异常处理研究及其在职业技能鉴定系统中的应用[D];大连理工大学;2004年
  • 乔梁;基于J2EE的分布式多引擎工作流系统设计[D];吉林大学;2004年
  • 李安志;流程系统中的签字管理相关技术研究[D];西南交通大学;2005年
  • 张廷萍;基于关系数据库的轻量级工作流引擎研究与设计[D];重庆大学;2007年
  • 郎新科;批量生产控制中的配方分析与异常处理[D];河南科技大学;2013年
  • 刘明涛;BCSEP中异常处理机制的研究与实现[D];东北大学;2008年

【稿件标题】:[儿童语言发展论文]Ada语言的发展
【作者单位】:南京大学软件新技术国家重点实验室;南京大学计算机科学与技术系;
【发表期刊期数】:《计算机科学》2014年01期
【期刊简介】:本刊以其新颖、准确、及时为特色,突出动态性、综述性、学术性。报告特点是:“前沿科学”与“基础研究”相结合;“核心技术”与“支撑技术”相结合;“倡导”与“争鸣”相结合。广采百家之长,博览计算机世界之态势。重在突出文章的思想性,令人有开拓思路之......更多计算机科学杂志社(http://www.400qikan.com/qk/1234/)投稿信息
【版权所有人】:吴迪;徐宝文;


    更多科技类论文详细信息: [儿童语言发展论文]Ada语言的发展
    http://www.400qikan.com/lunwen/keji/18007.html


    相关专题:可以写文章的网站 九年级体育教学计划 《计算机科学》相关期刊

    推荐期刊:

  • 中华放射肿瘤学杂志
  • 国际问题研究
  • 理论探讨
  • 饲料与畜牧
  • 西北民族研究
  • 电子设计应用
  • 青海气象
  • 山东省人民代表大会常务委员会公报
  • 农村科技开发
  • 中国海关


  • 上一篇:【决策树算法实例范文】基于冗余实例对消除算法的实例选择
    下一篇:eclipse 生成uml范文|基于UML交互概览图的测试线索的生成方法

    认准400期刊网 可信 保障 安全 快速 客户见证 退款保证


    品牌介绍