基于π演算的反射式需求规约描述方法

袁文杰，应时，吴可嘉，姚俊峰

Formal Description of the Evolving Reflective Requirements Specification with πCalculus

Wenjie，YING Shi，WU Kejia，YAO Junfeng

J4 . 2010, (6): 146 -149 . DOI: 10.3969/j.issn.1007130X.2010.