10.3969/j.issn.1673-629X.2005.08.011
形式化语言RT-Z的合成及其应用
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征.文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明.
Z语言、过程代数CSP、规格说明
15
TP301.2(计算技术、计算机技术)
国家自然科学基金60474072,60174050;广东省自然科学基金04009465,010059;广东省高校自然科学基金Z03024
2005-09-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
34-36,40