计算机工程2000，Vol.26Issue(8)：31-32，119,3.
形式并行需求规约向Java程序框架的转换
Transformation from Formal Parallel Requirement Specifications into Java Program Frameworks
摘要
关键词
并行系统/形式化开发/需求规约/程序框架分类
信息技术与安全科学引用本文复制引用
王黎霞,李彤..形式并行需求规约向Java程序框架的转换[J].计算机工程,2000,26(8):31-32，119,3.基金项目
云南省自然科学基金项目(98F005G) （98F005G）
云南省中青年学术技术带头人培养基金(1998-37) （1998-37）
