10.3969/j.issn.1000-3428.2000.08.014
形式并行需求规约向Java程序框架的转换
提出了一种能将形式化定义的并行系统需求规约转换为Java并行程序框架的技术.Java并行程序框架的线程中含有前后断言,可用传统的串行系统转换技术转换为可执行的Java代码.从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题,降低了并行系统形式化开发的复杂度.
并行系统、形式化开发、需求规约、程序框架
26
TP311.15(计算技术、计算机技术)
云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
31-32,119