您的位置： 专家智库 > >

杨大军

作品数：14 被引量：31H指数：3
供职机构：南京大学更多>>
发文基金：国家杰出青年科学基金国家自然科学基金国家攀登计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 2篇学位论文
  • 1篇科技成果

领域

  • 13篇自动化与计算...
  • 1篇电子电信

主题

  • 8篇面向对象
  • 5篇设计语言
  • 5篇程序设计
  • 5篇程序设计语言
  • 3篇并发面向对象
  • 2篇软件工程
  • 1篇定理
  • 1篇定理证明
  • 1篇定理证明器
  • 1篇动态优化
  • 1篇形式化
  • 1篇形式化方法
  • 1篇一致性
  • 1篇移动AGEN...
  • 1篇语法制导
  • 1篇软件AGEN...
  • 1篇软件复用
  • 1篇软件开发
  • 1篇软件需求分析
  • 1篇设计方法

机构

  • 14篇南京大学

作者

  • 14篇杨大军
  • 11篇吕建
  • 5篇张鸣
  • 4篇丁俊华
  • 3篇唐宝
  • 3篇孙圣强
  • 2篇陶先平
  • 2篇廖宇
  • 1篇李新
  • 1篇李英军
  • 1篇徐锋
  • 1篇曹建农
  • 1篇曹春
  • 1篇胡海洋
  • 1篇张建莹
  • 1篇胡昊
  • 1篇马小星
  • 1篇冯新宇

传媒

  • 4篇计算机研究与...
  • 3篇软件学报
  • 1篇南京大学学报...
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机科学

年份

  • 1篇2003
  • 1篇2002
  • 2篇2001
  • 3篇2000
  • 1篇1999
  • 3篇1998
  • 2篇1997
  • 1篇1996
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种多视角的需求定义及其一致性验证方法被引量：6
1998年
文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．
丁俊华孙圣强杨大军吕建
关键词：软件开发
软件需求分析自动化支撑系统中的字典管理方法研究被引量：2
2001年
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
杨大军丁俊华吕建
关键词：软件需求分析软件工程
定理证明辅助工具PVS剖析被引量：1
2000年
ＰＶＳ是斯坦福研究机构开发的强大的规约、验证系统，它的适用领域广泛。在概要介绍ＰＶＳ的构成、功能后，着重分析了ＰＶＳ的规约语言、验证系统的特点，以及使得ＰＶＳ灵活、强大的设计决策和内在机制．
廖宇杨大军
关键词：定理证明器PVS
Z状态空间和操作定义的自动生成技术被引量：2
1997年
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．
孙圣强杨大军丁俊华丁俊华
关键词：软件工程
基于双层类结构的继承异常处理方法被引量：3
1999年
继承异常是并发面向对象语言中的一个很重要而且也是处理起来很困难的问题，它会使同步代码难以重用．为解决此问题，文章提出了一种新的双层类结构模型的方法，来解决继承异常问题。
张鸣吕建杨大军陶先平
关键词：面向对象程序设计语言
面向对象与软件Agent技术研究
吕建陶先平马小星胡昊李英军张建莹曹春杨大军张鸣李新冯新宇唐宝曹建农徐锋胡海洋
“面向对象与软件Agent技术研究”以面向对象形式化方法与移动Agent技术作为切入点，在对主流的面向对象形式化技术进行深入研究的基础上，探讨面向Internet开放、动态、多变环境的新型程序设计与方法学的基础技术-软件...
关键词：
关键词：面向对象移动AGENT
基于数据分解的并发面向对象程序开发方法被引量：1
2000年
提出了一种从 VDM- SL(Vienna development method- specification language)规约到并发面向对象程序的开发方法 ,这种方法基于 DD- VDM(data decomposition- Vienna development method) .在此基础上提出了虚拟原子、服务并行和内部并行等概念 ,继而提出一种嵌套面向对象结构来体现这些功能 .分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术 .
杨大军吕建
关键词：数据分解面向对象程序设计语言程序开发方法
一种并发面向对象同步模型研究被引量：1
2002年
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
吕建杨大军廖宇唐宝
关键词：面向对象并发程序设计语言
一种新型同步控制机制Guard-Trace及其实现技术研究
2001年
在并发面向对象环境中 ,对象需要同步控制机制来保证其内部状态的一致性 ,我们自行设计的Guard Trace机制是在传统的同步控制机制Trace之上的拓广 ,可较好地刻划被动对象的同步控制约束 ,具有简明、表达能力强、使用灵活等优点 .然而 ,Guard Trace机制对实现技术提出了更高的要求 ,在定义了Guard Trace的语法语义的基础上 ,阐述了它的模拟实现系统的设计决策 ,并深入讨论了Guard
廖宇杨大军唐宝张鸣吕建
关键词：动态优化面向对象
并发面向对象程序设计语言研究与进展被引量：13
1998年
随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点．文中旨在通过对目前有代表性的各种并发面向对象程序设计语言进行研究和分析，从并发与面向对象结合的角度，总结并发面向对象语言的研究动因、设计思想、主要问题，以及相应的解决途径．最后，就该领域的发展方向提出一些看法．
杨大军张鸣吕建
关键词：面向对象程序设计语言软件复用
全选 清除 导出
共2页<12>
聚类工具0