10.3969/j.issn.1000-3428.2000.01.011
一个面向网络并行环境的需求规约语言
提出了一个面向网络并行环境的需求规约语言OORSL.OORSL支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达用户的功能需求,允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中.因此,OORSL语言是一个半形式化的语言,它为网络并行环境下的软件自动化和软件形式化开发提供了支持.介绍了OORSL的设计思想和主要语法成分,给出了一个实例.
网络并行环境、需求规约语言、面向对象、进程、断言
26
TP393.4(计算技术、计算机技术)
云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
24-26