Вы здесь

Guoliang Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Introducing Virtual Instance Variables in Classes to Provide Sufficent Support for Encapsulation 1995 Xuedong L., Guoliang Z. SIGPLAN Notices 20.11.1995
СТ 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
СТ 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
СТ 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
СТ Reasoning about Team Tracking 1998 Xiaocong F., Dianxiang X., Jianmin H., Guoliang Z. Software Engineering Notes 04.11.1998
СТ 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