Professor Zhiming Liu - 刘志明
Titel
Zitiert von
Zitiert von
Jahr
Real-Time Systems: specification, verification, and analysis
A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ...
prentice Hall, 1996
3081996
Component-based software engineering
J He, X Li, Z Liu
Theoretical Aspects of Computing–ICTAC 2005, 70-95, 2005
160*2005
rCOS: A refinement calculus of object systems
H Jifeng, X Li, Z Liu
Theoretical computer science 365 (1-2), 109-142, 2006
1562006
A formal semantics of UML sequence diagram
X Li, Z Liu, J He
Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004
1092004
Transformation of programs for fault-tolerance
Z Liu, M Joseph
Formal Aspects of Computing 4 (5), 442-469, 1992
1021992
Specification and verification of fault-tolerance, timing, and scheduling
Z Liu, M Joseph
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (1), 46-89, 1999
861999
Robustness testing for software components
B Lei, X Li, Z Liu, C Morisset, V Stolz
Science of Computer Programming 75 (10), 879-897, 2010
80*2010
Refinement and verification in component-based model-driven design
Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan
Science of Computer Programming 74 (4), 168-196, 2009
732009
A relational model for formal object-oriented requirement analysis in UML
Z Liu, J He, X Li, Y Chen
Formal Methods and Software Engineering, 641-664, 2003
722003
A model of component-based programming
X Chen, J He, Z Liu, N Zhan
International Conference on Fundamentals of Software Engineering, 191-206, 2007
67*2007
Formal and use-case driven requirement analysis in UML
X Li, Z Liu, J He
25th Annual International Computer Software and Applications Conference …, 2001
652001
Consistency checking of UML requirements
X Li, Z Liu, J He
10th IEEE International Conference on Engineering of Complex Computer …, 2005
63*2005
A theory of reactive components
J He, X Li, Z Liu
Electronic Notes in Theoretical Computer Science 160, 173-195, 2006
60*2006
Software development with UML
Z Liu
Technical Report 259, UNU/IIST, 2002
55*2002
Consistent code generation from uml models
Q Long, Z Liu, X Li, J He
Software Engineering Conference, 2005. Proceedings. 2005 Australian, 23-30, 2005
542005
A relational model for object-oriented designs
J He, Z Liu, X Li, S Qin
Asian Conference on Programming Languages and Systems, 415-436, 2004
51*2004
A probabilistic duration calculus
Z Liu, AP Ravn, EV Sørensen, C Zhou
Responsive Computer Systems, 29-52, 1993
51*1993
rCOS: Theory and tool for component-based model driven development
Z Liu, C Morisset, V Stolz
International Conference on Fundamentals of Software Engineering, 62-80, 2009
502009
Graph transformations for object-oriented refinement
L Zhao, X Liu, Z Liu, Z Qiu
Formal Aspects of Computing 21 (1), 103-131, 2009
43*2009
Unifying views of UML
Z Liu, J He, J Liu, X Li
Electronic Notes in Theoretical Computer Science 101, 95-127, 2004
42*2004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20