A TRANSLATiNG SYSTEM OF THE JSD-ORIENTED SPECIFICATION LANGUAGE
一个面向JSD方法的规格说明语言转换系统

SLC is a translating system of the specification language JSL. The implementation of JSLC implies a model of specification language translation. In this paper, thesystem organization, the fundamentals of implementation, and the key points of techniques for JSLC, are described in detail.