杨大军

作品数：11被引量：20H指数：3
导出分析报告
供职机构：南京大学更多>>
发文主题：面向对象程序设计语言并发面向对象软件工程软件复用更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《南京大学学报（自然科学版）》《计算机应用与软件》《计算机研究与发展》《软件学报》更多>>
所获基金：国家杰出青年科学基金国家自然科学基金国家攀登计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种并发面向对象同步模型研究被引量：1
《软件学报》2002年第1期71-79,共9页吕建 杨大军 廖宇 唐宝 
国家自然科学基金资助项目(69873021);国家863高科技发展计划资助项目(863-306-ZT02-02-03);国家杰出青年基金资助项目(61525204);江苏省应用基础研究基金资助项目(BJ99016)~~
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-...
关键词：继承 面向对象 同步模型 并发 VDM++ 程序设计语言 
软件需求分析自动化支撑系统中的字典管理方法研究
《计算机应用与软件》2001年第4期37-42,共6页杨大军 丁俊华 吕建 
国家杰出青年科学基金(编号:61525204)的资助
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
关键词：功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理 
一种新型同步控制机制Guard-Trace及其实现技术研究
《南京大学学报（自然科学版）》2001年第2期165-173,共9页廖宇 杨大军 唐宝 张鸣 吕建 
国家杰出青年科学基金! ( 61 52 50 4 );攀登计划项目
在并发面向对象环境中 ,对象需要同步控制机制来保证其内部状态的一致性 ,我们自行设计的Guard Trace机制是在传统的同步控制机制Trace之上的拓广 ,可较好地刻划被动对象的同步控制约束 ,具有简明、表达能力强、使用灵活等优点 .然而 ,G...
关键词：同步控制机制 同步控制树 同步控制线索 动态优化 Guard-Trace机制 面向对象 程序设计 
定理证明辅助工具PVS剖析被引量：1
《计算机工程》2000年第9期140-142,共3页廖宇 杨大军 
ＰＶＳ是斯坦福研究机构开发的强大的规约、验证系统，它的适用领域广泛。在概要介绍ＰＶＳ的构成、功能后，着重分析了ＰＶＳ的规约语言、验证系统的特点，以及使得ＰＶＳ灵活、强大的设计决策和内在机制．
关键词：规约语言 定理证明器 PVS 
基于数据分解的并发面向对象程序开发方法被引量：1
《软件学报》2000年第1期67-72,共6页杨大军 吕建 
国家自然科学基金! (No.6 98730 2 1);国家 86 3高科技项目基金! (No.86 3- 30 6 - ZT0 2 - 0 2 - 0 3);国家攀登计划基金;国家杰
提出了一种从 VDM- SL(Vienna development method- specification language)规约到并发面向对象程序的开发方法 ,这种方法基于 DD- VDM(data decomposition- Vienna development method) .在此基础上提出了虚拟原子、服务并行和内部并...
关键词：数据分解 面向对象 程序设计语言 程序开发方法 
基于双层类结构的继承异常处理方法被引量：3
《软件学报》1999年第6期619-625,共7页张鸣 吕建 杨大军 陶先平 
国家自然科学基金;国家杰出青年科学基金;国家攀登计划基金
继承异常是并发面向对象语言中的一个很重要而且也是处理起来很困难的问题，它会使同步代码难以重用．为解决此问题，文章提出了一种新的双层类结构模型的方法，来解决继承异常问题。
关键词：继承异常 控制类 面向对象 程序设计语言 
并发面向对象程序设计语言研究与进展被引量：9
《计算机研究与发展》1998年第9期769-775,共7页杨大军 张鸣 吕建 
国家杰出青年科学基金;攀登计划项目
随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点．文中旨在通过对目前有代表性的各种并发面向对象程序设计语言进行研究和分析，从并发与面向对象结合的角度，总结并发面向对...
关键词：面向对象 程序设计语言 软件复用 继承异常 
并发面向对象语言的继承异常问题研究被引量：1
《计算机科学》1998年第6期14-18,共5页张鸣 杨大军 吕建 
国家杰出青年科学基金;攀登计划项目的资助
1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软件复...
关键词：面向对象 程序设计语言 继承异常 并行处理 
一种多视角的需求定义及其一致性验证方法被引量：4
《计算机研究与发展》1998年第3期229-233,共5页丁俊华 孙圣强 杨大军 吕建 
国家杰出青年科学基金;国家跨世纪人才基金
文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关...
关键词：需求定义 软件开发 一致性验证 
Z状态空间和操作定义的自动生成技术
《计算机研究与发展》1997年第12期926-933,共8页孙圣强 杨大军 丁俊华 吕建 
"863"高技术项目
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的...
关键词：需求定义 状态空间 操作定义 软件工程 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部