Xiaoshan Li
Xiaoshan Li
Associate Professor of Computer Science, University of Macau
Bestätigte E-Mail-Adresse bei umac.mo - Startseite
Titel
Zitiert von
Zitiert von
Jahr
rCOS: A refinement calculus of object systems
H Jifeng, X Li, Z Liu
Theoretical Computer Science 365 (1), 109-142, 2006
171*2006
Component-based software engineering
H Jifeng, X Li, Z Liu
International Colloquium on Theoretical Aspects of Computing, 70-95, 2005
1602005
A formal semantics of UML sequence diagram
X Li, Z Liu, H Jifeng
2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004
1092004
Linear duration invariants
Z Chaochen, Z Jingzhong, Y Lu, L Xiaoshan
Formal Techniques in Real-Time and Fault-Tolerant systems, 86-109, 1994
901994
A relational model for formal object-oriented requirement analysis in UML
Z Liu, H Jifeng, X Li, Y Chen
International Conference on Formal Engineering Methods, 641-664, 2003
722003
A mean value calculus of durations
Z Chaochen, L Xiaoshan
A classical mind, 431-451, 1994
70*1994
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
Consistent code generation from UML models
Q Long, Z Liu, X Li, H Jifeng
2005 Australian Software Engineering Conference, 23-30, 2005
542005
A duration calculus with infinite intervals
Z Chaochen, D Van Hung, L Xiaoshan
International Symposium on Fundamentals of Computation Theory, 16-41, 1995
541995
A theory of reactive components
J He, X Li, Z Liu
Electronic Notes in Theoretical Computer Science 160, 173-195, 2006
512006
A relational model for object-oriented designs.
J He, Z Liu, X Li, S Qin
Springer, 2004
462004
Deep learning for in vitro prediction of pharmaceutical formulations
Y Yang, Z Ye, Y Su, Q Zhao, X Li, D Ouyang
Acta pharmaceutica sinica B 9 (1), 177-185, 2019
402019
Linking UML models of design and requirement
J Liu, Z Liu, J He, X Li
2004 Australian Software Engineering Conference. Proceedings., 329-338, 2004
362004
Contract oriented development of component software
Z Liu, H Jifeng, X Li
Exploring New Frontiers of Theoretical Informatics, 349-366, 2004
362004
Consistency checking of UML requirements
X Li, Z Liu, J He
10th IEEE International Conference on Engineering of Complex Computer …, 2005
352005
Modelling with relational calculus of object and component systems-rCOS
Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ...
The Common Component Modeling Example, 116-145, 2008
332008
Generating a prototype from a UML model of system requirements
X Li, Z Liu, J He, Q Long
International Conference on Distributed Computing and Internet Technology …, 2004
332004
Using transition systems to unify uml models
Z Liu, X Li, J He
International Conference on Formal Engineering Methods, 535-547, 2002
332002
Unifying views of UML
Z Liu, J He, J Liu, X Li
Electronic Notes in Theoretical Computer Science 101, 95-127, 2004
322004
QVT-based model transformation using XSLT
D Li, X Li, V Stolz
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
302011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20