СТ |
On Refinement Calculus with Program Window Inference |
2000 |
Yunfeng W., Bixin L., Jun P., Ming Z., Guoliang Z. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
СТ |
COOZ: A Complete Object-Oriented Extension to Z |
1998 |
Xiaodong Y., Deqiang H., Hao X., Yong L., Guoliang Z. |
|
|
|
Software Engineering Notes |
18.11.1998 |
СТ |
A Multi-Threaded Object-Oriented Programming Model |
1998 |
Jiajun C., Xiaodong Y., Guoliang Z. |
|
|
|
Software Engineering Notes |
04.11.1998 |
СТ |
Reasoning about Team Tracking |
1998 |
Xiaocong F., Dianxiang X., Jianmin H., Guoliang Z. |
|
|
|
Software Engineering Notes |
04.11.1998 |
СТ |
Two-dimensional Software Development Model Combining Object-Oriented Method with Formal Method |
1998 |
Xiaodong Y., Jiajun C., Guoliang Z. |
|
|
|
Software Engineering Notes |
01.07.1998 |
СТ |
Message Conversion and A New Type System for OO Model |
1997 |
Jianhua Z., Jiajun C., Guoliang Z. |
|
|
|
SIGPLAN Notices |
15.01.1998 |
СТ |
NDC++: An Approach to Concurrent Extension of C++ |
1997 |
Jiajun C., Guoliang Z. |
|
|
|
SIGPLAN Notices |
07.05.1997 |
СТ |
Introducing Virtual Instance Variables in Classes to Provide Sufficent Support for Encapsulation |
1995 |
Xuedong L., Guoliang Z. |
|
|
|
SIGPLAN Notices |
20.11.1995 |