徐宝文
- 作品数:11 被引量:2H指数:1
- 供职机构:南京航空学院更多>>
- 发文基金:国家自然科学基金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 军用计算机语言初论被引量:1
- 1989年
- 本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。
- 徐宝文
- 关键词:军用计算机程序系统军用软件
- Ada语言回顾与展望被引量:1
- 1989年
- 本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。
- 徐宝文
- 关键词:ADA语言程序设计语言软件工程
- 一种基于Pascal的程序结构语言及其应用
- 1992年
- 本文介绍作者研制的一个基于Pascal的程序结构语言PSL/Pascal,以弥补一般设计工具的不足.文中主要介绍该语言的设计思想、基本结构与组成、应用以及检查工具.
- 徐宝文
- 关键词:PASCAL
- C语言评注
- 1991年
- 本文根据作者从事程序设计语言研究的经验对C 语言进行分析评价,既肯定了它的成功之处,也指出了它的不足。
- 徐宝文
- 关键词:C语言程序设计
- 一种灵活的操作条件设置与处理方法
- 1989年
- 操作条件的设置与处理方法是管理软件研制中需要解决的一个关键问题.本文首先分析了现行操作条件设置方法的局限性,然后分别给出了作者研制的一种操作条件的非形式化描述与形式化描述.最后介绍并讨论了这种操作条件的实现方法.这种操作条件设置方法的特点是方便、灵活、实用,可用在各类管理软件及其它有关软件的研制中.
- 徐宝文
- 关键词:管理软件
- 论Ada对DOD国防系统软件开发标准的适应性被引量:1
- 1990年
- Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。
- 徐宝文
- 关键词:软件开发ADA语言适应性
- 程序设计语言作用域规则及其发展
- 1990年
- 本文讨论了作用域规则的演变及其发展,从两种角度对之进行了分类,指出了现有语言作用域规则存在的问题并讨论了解决方法。
- 徐宝文
- 关键词:程序设计语言
- 一种面向Pascal的程序维护语言及其应用
- 1991年
- PML/Pascal 是我们研制的一个面向Pascal 的程序维护语言,用于描述Pascal 程序中各实体标识符的定义与使用情况。本文主要介绍PML/Pascal 的设计思想、程序结构与设施以及生成工具,最后讨论它与Pascal 程序结构语言之间的关系。
- 徐宝文
- 关键词:PASCAL
- 集成式项目支撑环境初论
- 1989年
- 本文简述了集成式项目支撑环境(IPSE)的发展过程,讨论了IPSE的基本功能与构成,然后分析了IPSE的特性与要求,最后概述了几个主要IPSE。
- 徐宝文
- 关键词:软件工程
- NAG应用软件生成系统简介
- 1989年
- 一、基本思想传统软件开发一般要经过需求定义与分析、设计、编码、测试几个阶段,在通常的软件开发中,大部分时间都花在软件的设计,编码与测试上。因此,提高软件生产率就必须尽可能减少设计、编码与测试工作量,最好能直接根据用户需求产生相应的目标代码。
- 徐宝文伍俊明李红霞袁明黄雅菡
- 关键词:应用软件管理软件