您的位置: 专家智库 > >

文献类型

  • 9篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 9篇自动化与计算...
  • 1篇经济管理

主题

  • 4篇软件开发
  • 3篇软件工程
  • 3篇面向对象
  • 3篇程序设计
  • 2篇GAUSS
  • 1篇形式化
  • 1篇应用程序
  • 1篇语法树
  • 1篇语言
  • 1篇软总线
  • 1篇体系结构
  • 1篇图形语言
  • 1篇专家系统
  • 1篇自动生成
  • 1篇自动生成系统
  • 1篇总线
  • 1篇贸易便利
  • 1篇贸易便利化
  • 1篇可扩充性
  • 1篇扩充性

机构

  • 13篇复旦大学

作者

  • 13篇张然
  • 2篇叶云文
  • 1篇朱力
  • 1篇沈浩
  • 1篇陈万军
  • 1篇张继伦
  • 1篇邵晓凌
  • 1篇张育超
  • 1篇王晖

传媒

  • 3篇计算机科学
  • 2篇计算机工程
  • 2篇第四次全国软...
  • 1篇计算机应用与...
  • 1篇软件学报
  • 1篇软件
  • 1篇计算机辅助工...
  • 1篇全国软件理论...

年份

  • 1篇2010
  • 1篇1997
  • 2篇1995
  • 3篇1994
  • 1篇1993
  • 3篇1991
  • 1篇1989
  • 1篇1987
13 条 记 录,以下是 1-10
排序方式:
贸易便利化与中蒙海关联合监管研究
随着世界经济全球化、区域经济一体化进程的不断加快,国际间经济贸易往来日益扩大,区域经济合作蓬勃发展,我国与周边邻国之间的经贸往来不断加深,这迫切需要中国海关积极参与到国际海关事务中来。加强与其他国家/(地区/)海关的合作...
张然
关键词:贸易便利化海关
文献传递
基于变换的程序设计被引量:1
1989年
程序变换是取代传统的一步代码生成技术的新的程序生成技术。本文概述了程序变换的基本思想,阐述了基于变换技术导出程序的程序变换系统的基本结构及其实现方法,最后概要介绍了一些具有代表性的研究成果。
叶云文张然
关键词:程序设计
软件过程的OPEN描述与面向过程的CASE环境被引量:1
1994年
1.引言软件是一种无形的逻辑产品,是软件开发人员的创造性思维的产物。尽管我们已有了一些软件质量的度量方法,但在软件开发过程结束以前,我们还无法对其质量作出精确可靠的预测。到目前为止,我们只能说:“合适的开发方法和良好的组织管理是成功的一半。”
王晖张然
关键词:软件开发CASE
论形式化的软件规格说明方法
1991年
软件规格说明方法,根据其采用前规格说明语言的形式化程度不同,可大致分成三大类:形式化方法、半形式化和非形式化方法。本文着重介绍前两类方法,然后讨论三个普遍关注的有关规格说明的问题,即形式化方法的特点、快速原型以及宽谱语言。
陈万军张然
关键词:形式化软件开发
面向用户的需求获取系统
朱力张然
关键词:专家系统程序系统
WINDOWS汉化与中文应用软件开发
1995年
近几年,Windows中文平台纷纷涌现,Windows的中文应用日益增多。本文讨论了Win-dows中文平台的两种形式:核心汉化平台和外挂汉化平台,比较了不同中文平台的特点,介绍了几种中文应用软件的开发方法并针对Windows的DBCS处理机制指出了中文应用软件开发时需要注意的问题。
沈浩张然
关键词:汉化软件开发应用程序WINDOWS
软件过程的JMOSP模型
1994年
由于软件过程模型在提高软件生产力方面具有重要的意义,它已经成为软件工程领域内的一个研究热点.本文在简单地分析了当前几种不同的软件过程模型的缺陷后,提出了软件过程的JMOSP模型.
张然张育超叶云文
关键词:软件工程
软件重用的实现被引量:9
1995年
软件重用是指使用已有的软件成分构造新的软件系统的过程,本文分3个层次讨论软件重用的方法:实现层,设计层,体系结构层的软件重用,同时指出,抽象是实现软件重用技术的基础,而向对象技术提供了多种支持软件重用的机制。通过建立一个可重用软件对象库,和构造用于管理可重用对象的软件开发环境,形成一种新的基于软件重用的软件开发范型,必将对软件开发产生深远的影响。
李也戈张然
关键词:面向对象软件工程
通用程序图形自动生成系统GAUSS的开发与软总线体系结构
1993年
程序理解是软件维护的最基本活动,为了支持从源程序获取程序图形从而支持程序理解,我们开发了通用程序图形自动生成系统 GAUSS。在 GAUSS 的开发中,为保证良好的可扩充性,设计了以中间形式为媒介的间接变换方式。并对 GAUSS 所采用的体系结构进一步引伸,提出了软总线体系结构,它为一般程序理解系统的开发提供了一种系统化的方法。
张继伦张然
关键词:自动生成系统GAUSS体系结构可扩充性语法树
程序图形自动生成系统(GAUSS)
张然竺建军章柏海
关键词:图形语言程序语言程序设计
共2页<12>
聚类工具0