首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   21篇
  免费   6篇
  国内免费   19篇
综合类   1篇
自动化技术   45篇
  2008年   1篇
  2006年   2篇
  2005年   1篇
  2003年   4篇
  2002年   3篇
  2000年   6篇
  1999年   3篇
  1998年   1篇
  1996年   4篇
  1994年   2篇
  1993年   1篇
  1990年   2篇
  1988年   1篇
  1985年   2篇
  1984年   2篇
  1983年   2篇
  1982年   1篇
  1980年   6篇
  1978年   1篇
  1975年   1篇
排序方式: 共有46条查询结果,搜索用时 19 毫秒
1.
基于设计决定的逐步求精方法及环境   总被引:4,自引:1,他引:3  
缪旭  唐稚松 《软件学报》1990,1(3):15-25
逐步描述、变换及证明的软件开发过程包含两个转换,一是从非形式的用户需求到形式描述,一是从形式描述到算法实现。开发过程中的关键是如何做出设计决定。为了更好地维护、重用软件以及程序证明,不仅仅要对软件的形式描述及实现做文档记录,也要记下开发过程中所做的每一步决定。我 们用两个例子来说明如上这种逐步求精的方法以及设计决定在其中所起的作用,并且我们实现了一个包括SPEC、OOMM、PROT、VERI几个子系统组成的环境来支持上述过程。  相似文献   
2.
XYZ系统的设计思想   总被引:3,自引:3,他引:0  
唐稚松 《软件学报》1990,1(1):47-55
§1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环境”基调讲演中部分内容整理扩充而成。因该会议论文集中所收入的介绍XYZ系统文章未写入这部分内容,故特写成本文作为的补充。 XYZ系统是一基于时序逻辑且适应多种程序设计方式的CASE环境。它所适应的程序包括过程性的,抽象描述型的,或产生式规则型的;串型的或并发的;常见高级语言型的、面向多种对象的、函数式的或逻辑的;文本的或图形的,后者又可以是数据流型的或  相似文献   
3.
何锫  唐稚松 《软件学报》1993,4(4):51-55
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了NL松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:NL与N等价;有N的证明则必有长度不超过它的NL证明。  相似文献   
4.
本文介绍的结构化流图的设计工具—SFDT(Structured Flowchart Design Tool),是以XYZ/F框图命令语言为基础的语法导引的编辑程序,并结合了结构化框图,PDL等技术的特点,同时又具有XYZ/F语言程序转换为PASCAL型高级语言程序的功能。在SFDT环境下,用户可以用具有XYZ/F语言结构的自然语言描述算法,并逐步求精,设计出可执行的程序;设计过程中,可以用调试命令对已设计好的程序进行测试;发现错误,可以用编辑命令进行修改。用户程序以框图形式输出。SFDT的设计实现采用了当前软件工程发展中的一些先进技术和先进理论。SFDT赋予传统的框图程序设计以新的生命力,对我国的计算机使用与普及有一定的促进和推动。  相似文献   
5.
创刊贺词     
《计算机应用与软件》杂志创刊,我代表中国电子学会计算机学会和电子工业部计算机工业管理局表示热烈的祝贺。自从世界科学技术发展以来,还没有任何科学技术象计算机那样以极高的速度向高精尖方向发展,在应用上以极大的广度向各个方面渗透。同时又对人类社会的发展发生那么深远的影响。由于发展迅速,差不多每十年就要换代。按硬件的观点,从第一代电子管计算机到第二代晶体管计算机到第三代集成电路计算机至八十年代已进入超大规模集成电路计算机时代,目前正计划发展九十年代的第五代计算机系  相似文献   
6.
王杉  唐稚松 《软件学报》1996,7(A00):1-9
速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视,XYZ系统是一种以时序逻辑为基础为适应多种设计方式的CASE环境,它所支持的软件开发方法是“以逐步求精方式,进行形式描述,验证或速成原型示范,直到得出可有效执行的程序”的方法,这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明,而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题。本文着重介绍半讨论运用  相似文献   
7.
XYZ系统在电信领域中的应用   总被引:2,自引:1,他引:1       下载免费PDF全文
沈武威  唐稚松 《软件学报》1996,7(6):321-330
最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证.  相似文献   
8.
<正> XYZ/G是一PASCAL型的语言。其设计的指导思想是相近的,力求简明,强调可阅读性和编译时查错的功能。但具体的语言成分有许多差异,主要是扩充了许多面向机器和面向表示的成分和掩蔽区模块;特别是在汉字化和符号化方面,XYZ/G具有许多PASCAL所不  相似文献   
9.
有限精度时间自动机的可达性检测   总被引:3,自引:1,他引:3       下载免费PDF全文
为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足.  相似文献   
10.
基于时序逻辑的软件体系结构描述语言XYZ/ADL   总被引:26,自引:1,他引:26       下载免费PDF全文
朱雪阳  唐稚松 《软件学报》2003,14(4):713-720
  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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