排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
本文简述了范畴论的特点,研究了它在等式演绎和语义学等方面的应用,并介绍了由范畴的通用构造的性质导出合一算法的思想。 相似文献
2.
NDAUTO 数据库是 NDAUTO 系统的六大组成部分之一,主要提供文件管理,版本控制和文档组织三方面的功能,用于软件开发各个阶段的数据存储和管理。本文论述了 NDA-UTO 数据库的设计背景和实现技术,并提出了进一步完善的几点设想。 相似文献
3.
本文阐述了采用二次开发策略来实现源级动态调试功能是可行和有效的,着重说明了动态源调试技术中的两个主要技术要点,并且简要介绍了CDBG关系。 相似文献
4.
5.
本文介绍一个新型的编辑程序 GED,其编辑对象(用 NDAUTO 系统的 GSPEC 语言书写的规格说明)由交叉出现的正文和树形结构组成。文中详细描述了 GED 的功能,强调了正文编辑和树形编辑的一致和协调,讨论了实现问题和 GED 的特点. 相似文献
6.
本文阐述了采用二次开发策略来实现源级动态调试功能是可行和有效的,着重说明了动态源调试技术中的两个主要技术要点,并且简要介绍了CDBG关系。 相似文献
7.
8.
9.
软件需求定义语言NDRDL 总被引:7,自引:0,他引:7
NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义,其特点是:形象直观,表达力强,实用性好,可靠性高。本文是该语言的试用文本。 相似文献
10.