팔로우
Jing Sun
Jing Sun
Associate Professor, School of Computer Science, University of Auckland, New Zealand
auckland.ac.nz의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Formal semantics and verification for feature modeling
J Sun, H Zhang, Y Fang, LH Wang
10th IEEE International Conference on Engineering of Complex Computer …, 2005
2012005
Verifying feature models using OWL
HH Wang, YF Li, J Sun, H Zhang, J Pan
Journal of web semantics 5 (2), 117-129, 2007
1802007
A semantic web approach to feature modeling and verification
H Wang, YF Li, J Sun, H Zhang, J Pan
Workshop on Semantic Web Enabled Software Engineering (SWESE’05), 46, 2005
1312005
An automated formal approach to managing dynamic reconfiguration
I Warren, J Sun, S Krishnamohan, T Weerasinghe
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
702006
Object-Z web environment and projections to UML
J Sun, JS Dong, J Liu, H Wang
Proceedings of the 10th international conference on World Wide Web, 725-734, 2001
522001
Specifying and verifying sensor networks: An experiment of formal methods
JS Dong, J Sun, J Sun, K Taguchi, X Zhang
Formal Methods and Software Engineering: 10th International Conference on …, 2008
422008
Checking and reasoning about semantic web through alloy
JS Dong, J Sun, H Wang
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
422003
A formal object approach to the design of zml
J Sun, JS Dong, J Liu, H Wang
Annals of Software Engineering 13, 329-356, 2002
382002
Reasoning support for Semantic Web ontology family languages using Alloy
HH Wang, JS Dong, J Sun, J Sun
Multiagent and Grid Systems 2 (4), 455-471, 2006
352006
Z approach to semantic web
JS Dong, J Sun, H Wang
Formal Methods and Software Engineering: 4th International Conference on …, 2002
342002
Software monitoring through formal specification animation
H Liang, JS Dong, J Sun, WE Wong
Innovations in Systems and Software Engineering 5, 231-241, 2009
322009
ZML: XML support for standard Z
M Utting, I Toyn, J Sun, A Martin, JS Dong, N Daley, D Currie
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
322003
Towards specification based testing for semantic web services
MS Jokhio, G Dobbie, J Sun
2009 Australian Software Engineering Conference, 54-63, 2009
312009
A scalable approach to multi-style architectural modeling and verification
S Wong, J Sun, I Warren, J Sun
13th IEEE International Conference on Engineering of Complex Computer …, 2008
302008
An architecture for developing aspect-oriented web services
S Singh, J Grundy, J Hosking, J Sun
Third European Conference on Web Services (ECOWS'05), 11 pp., 2005
302005
Automated security analysis for microservice architecture
N Chondamrongkul, J Sun, I Warren
2020 IEEE International Conference on Software Architecture Companion (ICSA …, 2020
272020
Bounded model checking of compositional processes
J Sun, Y Liu, JS Dong, J Sun
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
262008
Generic fault tolerant software architecture reasoning and customization
L Yuan, JS Dong, J Sun, HA Basit
IEEE transactions on reliability 55 (3), 421-435, 2006
262006
A XML/XSL approach to visualize and animate TCOZ
J Sun, JS Dong, J Liu, H Wang
Proceedings Eighth Asia-Pacific Software Engineering Conference, 453-460, 2001
262001
Semantic web for extending and linking formalisms
JS Dong, J Sun, H Wang
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
232002
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20