|
СТ |
Generating MSCs from an Integrated Formal Specification Language |
2004 |
Dong J. S., Qin S., Sun J. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
A Semantic Foundation for TCOZ in Umifying Theories of Programming |
2003 |
Qin S., Dong J. S., Chin W. -N. |
|
|
|
Lecture Notes in Computer Science |
24.09.2003 |
|
СТ |
ZML: XML Support for Standard Z |
2003 |
Utting M., Toyn I., Sun J., Martin A., Dong J. S., Daley N., Currie D. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Formalizing Semantics of XSLT Using Object-Z |
2003 |
Yang H. L., Dong J. S., Hao K. G., Han J. G. |
|
|
|
Lecture Notes in Computer Science |
07.05.2003 |
|
СТ |
An Overview of Mobile Object-Z |
2002 |
Taguchi K., Dong J. S. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Z Approach to Semantic Web |
2002 |
Dong J. S., Sun J., Wang H. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows |
2002 |
Stupnikov S. A., Kalinichenko L. A., Dong J. S. |
|
|
|
Advances in Databases and Information Systems. Vol.2. Research Communications. 6th East-European Conference, ADBIS 2002 |
05.10.2002 |
|
СТ |
Timed Communicating Object Z |
2000 |
Mahony B., Dong J. S. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
|
СТ |
Network Topology and a Case Study in TCOZ |
1998 |
Mahony B., Dong J. S. |
|
|
|
Lecture Notes in Computer Science |
08.12.1998 |
