来者莫忙去者莫忙且坐坐光阴不为人留

功也休急利也休急再行行得失无非天定

Publications

·    J.Liu, J.S.Dong and J.Sun. TRMCS in TCOZ.  The 10th IEEE International Workshop on Software Specification and Design (IWSSD'00), IEEE Computer Society Press. p.63-72, Nov, 2000. San Diego, USA, (ISBN 0769508847) (PS)

·         J.Liu, J.S.Dong, B.Mohany and K.Shi Linking UML with integrated Formal Techniques. (book chapter) Unified Modeling Language: Systems Analysis, Design, and Development Issues. (Editors: K. Siau and T. Halpin) 2000. IDEA GROUP Publishing.(PDF) 

·         J. Sun, J. S. Dong, J. Liu and H. Wang. Object-Z Web Environment and Projections to UML. WWW-10: 10th International World Wide Web Conference, refereed paper track, ACM Press, May 2001.(PS)

Thesis

          ·         Linking UML with integrated Formal Techniques. (PS)

Tool toy

          ·         View it on this page