文献详情


Ada程序分析与变换技术研究

文献类型	学位
作者	徐宝文[1]
机构	北京航空航天大学 ↓
授予学位	博士
年度	2002
学位授予单位	北京航空航天大学
语言	中文
关键词	程序设计语言;程序分析;程序切片;程序变换;对象抽取
摘要	Ada是美国国防部主持研制的一个面向嵌入式系统的三军通用大型程序设计语言,它集中了世界上几乎所有著名程序设计语言与软件专家的智慧,体现了程序设计语言、软件理论与软件工程研究的最新成果.因此,对Ada语言及其软件开发与维护中的有关问题进行研究不仅具有重要的理论意义,也具有广阔的应用前景.该文在对Ada进行依赖性分析的基础上,建立了Ada并发程序依赖性分析模型,研究了Ada并发程序切片以及并发程序变换中的理论与方法,并对Ada83软件向Ada95软件转换过程中如何充分利用Ada95面向对象特性的有关问题进行了探讨.

影响因子：


暂无成果共有人
dc:title:Ada程序分析与变换技术研究
dc:creator:徐宝文
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2002.
dc:identifier:DOI：
dc: identifier:ISBN: