Lijun Shan
Cited by
Cited by
Generating structurally complex test cases by data mutation: A case study of testing an automated modelling tool
L Shan, H Zhu
The Computer Journal 52 (5), 571-588, 2009
Tool support for design pattern recognition at model level
H Zhu, I Bayley, L Shan, R Amphlett
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
ROMAS: A role-based modeling method for multi-agent system
Q Yan, L Shan, X Mao, Z Qi
Active Media Technology, 156-161, 2003
CAMLE: a caste-centric agent-oriented modelling language and environment
L Shan, H Zhu
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
A formal descriptive semantics of UML
L Shan, H Zhu
International Conference on Formal Engineering Methods, 375-396, 2008
An adaptive casteship mechanism for developing multi-agent systems
X Mao, L Shan, H Zhu, J Wang
International Journal of Computer Applications in Technology 31 (1-2), 17-34, 2008
Well-formedness, consistency and completeness of graphic models
H Zhu, L Shan
Proc. of UKSIM 6, 47-53, 2006
Agent-oriented modelling and specification of web services
H Zhu, L Shan
10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005
Caste-centric modelling of multi-agent systems: the CAMLE modelling language and automated tools
H Zhu, L Shan
Model-driven Software Development, 57-89, 2005
Semantics of metamodels in UML
L Shan, H Zhu
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
Formal Descriptive Semantics of UML and Its Applications.
H Zhu, L Shan, I Bayley, R Amphlett, K Lano
UML 2 Semantics and Applications, 95-123, 2009
Testing software modelling tools using data mutation
L Shan, H Zhu
Proceedings of the 2006 international workshop on Automation of software …, 2006
Consistency check in modelling multi-agent systems
L Shan, H Zhu
Proceedings of the 28th Annual International Computer Software and …, 2004
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems
L Shan, B Sangchoolie, P Folkesson, J Vinter, E Schoitsch, C Loiseaux
SAFECOMP Workshops 2019, 74-86, 2019
Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates
A Vasenev, F Stahl, H Hamazaryan, Z Ma, L Shan, K Joerg, C Loiseaux
VEHITS 2019, 550-555, 2019
Modelling and specifying scenarios and agent behaviour
L Shan, H Zhu
IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT …, 2003
Formal verification of lunar rover control software using UPPAAL
L Shan, Y Wang, N Fu, X Zhou, L Zhao, L Wan, L Qiao, J Chen
International Symposium on Formal Methods, 718-732, 2014
Agent-oriented formal specification of Web Services
H Zhu, B Zhou, X Mao, L Shan, D Duce
International Conference on Grid and Cooperative Computing, 633-641, 2004
Unifying the semantics of models and meta-models in the multi-layered UML meta-modelling hierarchy
L Shan, H Zhu
International Journal of Software and Informatics 6 (2), 163-200, 2012
Specifying Consistency Constraints for Modelling Languages.
L Shan, H Zhu
SEKE, 578-583, 2006
The system can't perform the operation now. Try again later.
Articles 1–20