首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   11篇
  自动化技术   12篇
  2003年   5篇
  2002年   1篇
  2000年   3篇
  1999年   1篇
  1994年   1篇
  1993年   1篇
排序方式: 共有12条查询结果,搜索用时 31 毫秒
1.
可视化体系结构描述语言XYZ/ADL   总被引:31,自引:3,他引:28       下载免费PDF全文
骆华俊  唐稚松  郑建丹 《软件学报》2000,11(8):1024-1029
2.
基于时序逻辑的软件体系结构描述语言XYZ/ADL   总被引:27,自引:1,他引:26       下载免费PDF全文
朱雪阳  唐稚松 《软件学报》2003,14(4):713-720
3.
软件体系结构求精方法研究   总被引:21,自引:2,他引:19       下载免费PDF全文
戎玫  张广泉 《计算机科学》2003,30(4):108-110
1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年的理论探索和工程实践,也逐渐形成了一系列不同结构风格的软件体系结构。如UNIX操作系统中的管道一过滤器(pipe-filters)风格、分布式系统中典型的客户机/服务器(client/server)风格以及通信系统中的分层(layer)系统等等。  相似文献
4.
一种面向软件工程的时序逻辑语言   总被引:12,自引:3,他引:9       下载免费PDF全文
唐稚松  赵琛 《软件学报》1994,5(12):1-16
XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分.在统一的框架下,不仅能表示不同层次的抽象描述,而且能表示普通高级语言的各种重要性质.本文是关于这一时序逻辑语言最新、最完整的介绍.  相似文献
5.
XYZ系统的目的、意义、作用与应用   总被引:5,自引:0,他引:5       下载免费PDF全文
唐稚松 《软件学报》1999,10(4):337-341
XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.  相似文献
6.
XYZ/E面向对象程序语义概述   总被引:4,自引:0,他引:4       下载免费PDF全文
郭亮  唐稚松 《软件学报》2003,14(3):356-361
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.  相似文献
7.
基于XYZ/E描述和验证容错系统   总被引:2,自引:0,他引:2       下载免费PDF全文
郭亮  唐稚松 《软件学报》2002,13(5):913-920
研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.  相似文献
8.
基于XYZ/E的混成系统   总被引:2,自引:0,他引:2       下载免费PDF全文
混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法.  相似文献
9.
程序性质的描述与证明   总被引:2,自引:2,他引:0       下载免费PDF全文
官荷卿  郭亮 《计算机科学》2003,30(3):146-148
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。此工具通过读取程序及其前后断  相似文献
10.
郭亮  唐稚松 《软件学报》2003,14(1):54-61
使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessorsP即使在出现硬件错误的情况下运行,也能满足性质SpecP.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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