%0 Journal Article
%T 系统模型开发的形式化技术
%A 冯玉琳？
%A 桂自强？
%A 丁茂顺？
%J 软件学报
%P 35-41
%D 1991
%X 本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言cml可用来描述系统模型,并可用cma对模型描述进行静态一致性和动态时序特性的检查。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910105&flag=1