Folgen
Lijun Shan
Titel
Zitiert von
Zitiert von
Jahr
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
652009
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
412009
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
372004
ROMAS: A role-based modeling method for multi-agent system
QI YAN, LIJUN SHAN, XINJUN MAO, ZHIC QI
Active Media Technology, 156-161, 2003
302003
A formal descriptive semantics of UML
L Shan, H Zhu
International Conference on Formal Engineering Methods, 375-396, 2008
272008
Well-formedness, consistency and completeness of graphic models
H Zhu, L Shan
Proc. of UKSIM 6, 47-53, 2006
272006
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
262008
Agent-oriented modelling and specification of web services
H Zhu, L Shan
10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005
262005
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
242005
Semantics of metamodels in UML
L Shan, H Zhu
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
232009
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
202019
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
182019
Testing software modelling tools using data mutation
L Shan, H Zhu
Proceedings of the 2006 international workshop on Automation of software …, 2006
182006
Consistency check in modelling multi-agent systems
L Shan, H Zhu
Proceedings of the 28th Annual International Computer Software and …, 2004
182004
Formal descriptive semantics of uml and its applications
H Zhu, L Shan, I Bayley, R Amphlett
UML 2 Semantics and Applications, 95-123, 2009
152009
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
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
122014
Modelling and specifying scenarios and agent behaviour
L Shan, H Zhu
IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT …, 2003
102003
Specifying Consistency Constraints for Modelling Languages.
L Shan, H Zhu
SEKE, 578-583, 2006
82006
Agent-oriented formal specification of Web Services
H Zhu, B Zhou, X Mao, L Shan, D Duce
Grid and Cooperative Computing-GCC 2004 Workshops: GCC 2004 International …, 2004
82004
RTLib: A library of timed automata for modeling real-time systems
L Shan, S Graf, S Quinton
Grenoble 1 UGA-Université Grenoble Alpe; INRIA Grenoble-Rhone-Alpes, 2016
72016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20