首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  完全免费   6篇
  自动化技术   14篇
  2007年   1篇
  2005年   1篇
  2003年   1篇
  1998年   2篇
  1997年   1篇
  1995年   1篇
  1994年   1篇
  1993年   2篇
  1990年   1篇
  1989年   1篇
  1986年   1篇
  1985年   1篇
排序方式: 共有14条查询结果,搜索用时 31 毫秒
1.
软件开发中的形式化方法   总被引:10,自引:0,他引:10       下载免费PDF全文
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上,其目标是希望能使系统具有  相似文献
2.
生成式程序设计研究概述   总被引:5,自引:2,他引:3       下载免费PDF全文
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。  相似文献
3.
语言的抽象、封装与变换型开发方法   总被引:3,自引:0,他引:3       下载免费PDF全文
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.  相似文献
4.
张乃孝 《软件学报》1993,4(5):17-23
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。  相似文献
5.
用变换型方法模拟开发电话交换系统   总被引:2,自引:0,他引:2  
本文给出了用变换软件开发方法模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序,整个开发过程是用变换型语言Polya写的,最后提出了Polya的改进建议。  相似文献
6.
程序变换过程的分析与设计   总被引:2,自引:0,他引:2  
张乃孝 《计算机学报》1994,17(6):473-476
程序变换过程的分析与设计张乃孝(北京大学计算机科学与技术系北京100871)ANALYSISANDDESIGNOFTHEPROGRAMTRANSFORMATIONPROCESS¥ZhangNaixiao(DepartmentofcomputerSci...  相似文献
7.
三叉树结构及其实现   总被引:2,自引:0,他引:2  
本文定义了一种三叉树的结构。引进了三叉树抽象数据类型的概念。给出了一种多重链表的实现。最后对广义三叉树和三叉树林作了初步讨论.  相似文献
8.
Garment中的归约语义   总被引:1,自引:0,他引:1  
文中用代数方法研究了Garment中程序设计语言的归约语义,首先给出了归约语义在形式语言理论中的含义,然后提出了Garment中语言的代数模型。在此代数模型下讨论了归约语义及其性质,并给出了语言可归的充分条件。  相似文献
9.
知识结构的三叉树表示和逻辑推理的实现   总被引:1,自引:0,他引:1  
本文根据逻辑程序的要求,设计了知识结构的三叉树表示法,并给出了基于这种表示的推理过程的框架。  相似文献
10.
基于描述逻辑的特征模型   总被引:1,自引:0,他引:1       下载免费PDF全文
由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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