jsp和jsd，经常在大学软件设计课程中教授，有相当丰富的记号，并伴随着构造一个系统模型的语义学。
JSP and JSD, often taught in university software design courses, had a fairly rich notation and accompanying semantics for constructing a system model.
本文主要内容有第一章主要介绍本文需要用到的基本定理，常用的记号以及模型问题。
This thesis is arranged as follows:In Chapter 1, we introduce some elementary theorems, usual notations and model problems needed in other chapters.
应用推荐