%0 Journal Article
%T 基于模型的规格说明方法
%A 魏峻 周隽？
%J 计算机科学
%D 1996
%X 这篇文章分析了基于模型（转换系统）的规格说明方法的特点，给出了形式方法和严格定义，并且通过实例，探讨了基于模型的规格说明方法在公平条件下约束下，描述系统安全和活动性质的能力和特点。
%K 转换系统规格说明软件开发
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2242476&flag=1