Jing Sun

Jing Sun

University of Auckland - Auckland / New Zealand
Engineering & Technology / Computer Science
AD Scientific Index ID: 50763
person_outline Jing Sun's MOST POPULAR ARTICLES
1-) Formal semantics and verification for feature modeling 10th IEEE International Conference on Engineering of Complex Computer …, 2005
2-) Verifying feature models using OWL Journal of web semantics 5 (2), 117-129, 2007
3-) A semantic web approach to feature modeling and verification Workshop on Semantic Web Enabled Software Engineering (SWESE’05), 46, 2005
4-) An automated formal approach to managing dynamic reconfiguration 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
5-) Object-Z web environment and projections to UML Proceedings of the 10th international conference on World Wide Web, 725-734, 2001