The RAISE Specification Language and Its Semantic Characteristics RAISE规范语言及其语义特征
Using the RAISE Specification Language ( RSL ), a formal model of MRP ⅱ systems is established. An implementation of MRP ⅱ system is then made. 使用RAISE(工业软件工程的严格方法)规范语言,建立了MRPⅡ系统的形式化模型,并且实现了该系统。