论文部分内容阅读
该文工作包括两个主要方面,一是对面向对象框架技术应用方面的研究,主要是提出了一个油气勘探领域的新型框架系统.二是对应用框架的形式理论方面的研究.理论研究包括两个层次,一是在较高层次如何对框架进行精确的形式化描述,一是在较低层次对框架中关键部分代码进行正确性验证.
面向对象并行应用框架及其形式化方法的研究
【摘 要】
：
该文工作包括两个主要方面,一是对面向对象框架技术应用方面的研究,主要是提出了一个油气勘探领域的新型框架系统.二是对应用框架的形式理论方面的研究.理论研究包括两个层次
【机 构】
：
南京大学
【出 处】
：
南京大学
【发表日期】
：
2001年期
其他文献
该文从集中监控的角度并运用了多媒体技术、通信技术、网络技术、软件工程的方法设计了多媒体报警监控系统.其中第一部分(第一到第二章)对系统进行了可行性研究,用系统分析手
第一部分介绍什么是软件再工程,软件再工程的原因和三种不同选择的比较.第二部分先介绍业务过程再工程(BPR),虽然它不是该文的讨论的重点,但它往往也是导致软件工程的重要原
该文研究了在Internet/Intranet企业计算模型下进行MIS开发的一些基本原理和技术,并且分析了当前的典型Web应用系统的运行效率和优缺点.其次,该课题结合了辽宁省科学技术出版
方正飞腾(FIT)集成排版系统是北大方正研究院开发的大型彩色交互式排版软件,它为用户提供了强大的排版功能,以满足海内外中文排版的各种要求.但是随着现代出版物的版面越来越
该文主要研究基于三层客户机/服务器模式的实验室管理信息系统的设计与开发方法.文章首先介绍了该课题的目的、意义,然后分析了三客户机/服务器模式的优缺点,提出了将三层客
该文研究的逻辑图自动生在系统是国防"九五"微电子重点科技预研项目的成果"实用化专用集成电路高层次自动化设计系统—Talent系统"的子系统.该系统通过对电路网表有效的识别
该文首先总结了行动推理的研究现状,包括形式化框架,主要问题,元理论等方面的结果.随后该文总结了行动推理中三大问题的解决方案,包括框架问题,结果问题和资格问题.其中较为
该文深入研究了多重循环软件流水,以及当嵌套层数为1时的最差相关限制问题,提出了一种多重循环并行化算法:交替移位旋转(ISR:InterleavedShiftsandRotations).与上述现有技术