On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independent...On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.展开更多
While the formulations of localization rank and stably free rank are given, the characterizations of elements are obtained for a class of VN regular ring. For a ring R, the characters of some properties of K0R are als...While the formulations of localization rank and stably free rank are given, the characterizations of elements are obtained for a class of VN regular ring. For a ring R, the characters of some properties of K0R are also given in terms of the state space of K0.展开更多
文摘On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.
基金This work was partially supported by the National Natural Science Foundation of China (Grant No. 19901009) NSF of Guangdong Province (Grant Nos. 970472, 000463).
文摘While the formulations of localization rank and stably free rank are given, the characterizations of elements are obtained for a class of VN regular ring. For a ring R, the characters of some properties of K0R are also given in terms of the state space of K0.