首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   22篇
  国内免费   1篇
  完全免费   10篇
  自动化技术   33篇
  2008年   1篇
  2000年   1篇
  1998年   1篇
  1993年   1篇
  1992年   4篇
  1991年   4篇
  1990年   6篇
  1989年   4篇
  1988年   4篇
  1986年   2篇
  1984年   1篇
  1983年   2篇
  1981年   2篇
排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
需求工程研究新进展   总被引:15,自引:0,他引:15  
需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程及其自动化方面所做的一些工作.  相似文献
2.
量子程序设计语言NDQJava   总被引:8,自引:2,他引:6       下载免费PDF全文
量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.  相似文献
3.
类比推理综述   总被引:4,自引:0,他引:4       下载免费PDF全文
一、引言“类比充满着我们的思维,日常交谈。从平凡的推论到表达的艺术再到最高的科学成就无不充满着类比。”类比能力是人类智能的核心。在理解、推理、学习、概括等一切智能活动中都涉及到类比。既然人工智能是研究和模拟人的智能的  相似文献
4.
从功能规格说明到设计规格说明的自动转换   总被引:3,自引:1,他引:2  
徐家福  戴敏 《计算机学报》1991,14(2):123-130
本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.  相似文献
5.
算法自动化系统NDADAS   总被引:3,自引:0,他引:3  
6.
软件自动化   总被引:3,自引:0,他引:3  
软件自动化是提高软件生产率的根本途径。同时,它也有助于提高软件质量。本文在简要阐述软件自动化的含义与基本途径的基础上,着重介绍演绎综合法、程序转换法,以及实验性软件自动化系统NDAUTO的梗概。  相似文献
7.
软件技术漫谈   总被引:3,自引:0,他引:3       下载免费PDF全文
作者根据多年来从事计算机软件研究与开发的体会,撰成此文,就软件技术的现状与前景进行了讨论。内容包括:传统技术,新技术,难点,以及结束语四部分。  相似文献
8.
自学习软件自动化系统NDSAIL的设计与实现   总被引:2,自引:1,他引:1  
徐家福  陈道蓄 《计算机学报》1992,15(11):819-829
本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.  相似文献
9.
实验性软件自动化系统NDAUTO   总被引:2,自引:0,他引:2  
本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。  相似文献
10.
并行推理系统NDPIS的设计   总被引:1,自引:0,他引:1  
本文介绍一个以KLND为核心语言的并行推理系统NDPIS。它在新型计算机系统的核心语言、理论模型、计算组织结构、程序组织结构、机器资源组织结构以及具体实现技术方面进行了研究,提出了若干新思想和处理方法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号