A Transformational Approach to Structural Design Assessment and Change. - Paulo S. C. Alencar; Donald D. Cowan; Jing Dong 005; Carlos José Pereira de Lucena (ECOOP Workshops, 1998)

A Pattern-Based Approach to Structural Design Composition. - Paulo S. C. Alencar; Donald D. Cowan; Jing Dong 005; Carlos José Pereira de Lucena (COMPSAC, 1999)

Correct Composition of Design Components. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (ECOOP Workshops, 1999)

Ensuring Structure and Behavior Correctness in Design Composition. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (ECBS, 2000)

A Behavioral Analysis Approach to Pattern-Based Composition. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (OOIS, 2001)

A Graph Grammar Approach to Software Architecture Verification and Transformation. - Jun Kong; Kang Zhang 001; Jing Dong 005; Guang-Lei Song (COMPSAC, 2003)

A Formal Framework for Design Component Contracts. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (IRI, 2003)

Extending UML to Visualize Design Patterns In Class Diagrams. - Jing Dong 005; Sheng Yang 002 (SEKE, 2003)

On Analysis of Design Component Contracts: A Case Study. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (STEP, 2003)

Visualizing design patterns with a UML profile. - Jing Dong 005; Sheng Yang 002 (HCC, 2003)

Towards Trusted Composition in Software Design. - Jing Dong 005; Sheng Yang 002 (HASE, 2004)

User's manual as a requirements specification: case studies. - Daniel M. Berry; Khuzaima Daudjee; Jing Dong 005; Igor Fainchtein; Maria Augusta V. Nelson; Torsten Nelson; Lihua Ou (Requir. Eng., 2004)

A behavioral analysis and verification approach to pattern-based design composition. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (Softw. Syst. Model., 2004)

Grammar-Specified Model-Driven Architectures. - Jun Kong; Kang Zhang 001; Jing Dong 005 (ICECCS, 2005)

VisDP: A Web Service for Visualizing Design Patterns on Demand. - Jing Dong 005; Sheng Yang 002; Kang Zhang 001 (ITCC (2), 2005)

A Generative Style-driven Framework for Software Architecture Design. - Jun Kong; Kang Zhang 001; Jing Dong 005; Guang-Lei Song (SEW, 2005)

A COTS architectural component specification stencil for selection and reasoning. - Jing Dong 005; Sheng Yang 002; Lawrence Chung; Paulo S. C. Alencar; Donald D. Cowan (ACM SIGSOFT Softw. Eng. Notes, 2005)

A Model Transformation Approach for Design Pattern Evolutions. - Jing Dong 005; Sheng Yang 002; Kang Zhang 001 (ECBS, 2006)

QVT based model transformation for design pattern evolutions. - Jing Dong 005; Sheng Yang 002; Yongtao Sun; W. Eric Wong (IMSA, 2006)

OWL-S Ontology Framework Extension for Dynamic Web Service Composition. - Jing Dong 005; Yongtao Sun; Sheng Yang 002 (SEKE, 2006)

Service Oriented Evolutions and Analyses of Design Patterns. - Jing Dong 005; Sheng Yang 002; Dushyant S. Lad; Yongtao Sun (SOSE, 2006)

Dynamic web service composition based on OWL-S. - Jing Dong 005; Yongtao Sun; Sheng Yang 002; Kang Zhang 001 (Sci. China Ser. F Inf. Sci., 2006)

Automating the analysis of design component contracts. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan (Softw. Pract. Exp., 2006)

DP-Miner: Design Pattern Discovery Using Matrix. - Jing Dong 005; Dushyant S. Lad; Yajing Zhao (ECBS, 2007)

Perspectives of Granular Computing in Software Engineering. - Jianchao Han; Jing Dong 005 (GrC, 2007)

Experiments on Design Pattern Discovery. - Jing Dong 005; Yajing Zhao (PROMISE@ICSE, 2007)

Model Checking Security Pattern Compositions. - Jing Dong 005; Tu Peng; Yajing Zhao (QSIC, 2007)

Classification of Design Pattern Traits. - Jing Dong 005; Yajing Zhao (SEKE, 2007)

Effective Fault Localization using BP Neural Networks. - W. Eric Wong; Lei Zhao; Yu Qi; Kai-Yuan Cai; Jing Dong 005 (SEKE, 2007)

Architecture and Design Pattern Discovery Techniques - A Review. - Jing Dong 005; Yajing Zhao; Tu Peng (Software Engineering Research and Practice, 2007)

A Classification of Design Pattern Evolutions. - Jing Dong 005; Sheng Yang 002; Yongtao Sun (J. Object Technol., 2007)

Composing pattern-based components and verifying correctness. - Jing Dong 005; Paulo S. C. Alencar; Donald D. Cowan; Sheng Yang 002 (J. Syst. Softw., 2007)

Visualizing Design Patterns in Their Applications and Compositions. - Jing Dong 005; Sheng Yang 002; Kang Zhang 001 (IEEE Trans. Software Eng., 2007)

Pattern-based design evolution using graph transformation. - Chunying Zhao; Jun Kong; Jing Dong 005; Kang Zhang 001 (J. Vis. Lang. Comput., 2007)

Compound record clustering algorithm for design pattern detection by decision tree learning. - Jing Dong 005; Yongtao Sun; Yajing Zhao (IRI, 2008)

Design pattern detection by template matching. - Jing Dong 005; Yongtao Sun; Yajing Zhao (SAC, 2008)

Verifying Behavioral Correctness of Design Pattern Implementation. - Tu Peng; Jing Dong 005; Yajing Zhao (SEKE, 2008)

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. - Raymond A. Paul; I-Ling Yen; Farokh B. Bastani; Jing Dong 005; Wei-Tek Tsai; Krishna M. Kavi; Arif Ghafoor; Jaideep Srivastava (ICSC, 2008)

Hierarchical Composition of OWL-S Web Services. - Jing Dong 005; Yongtao Sun; Yajing Zhao (SERA, 2008)

An Adaptive User Interface Generation Framework for Web Services. - Jiang He; I-Ling Yen; Tu Peng; Jing Dong 005; Farokh B. Bastani (SERVICES II, 2008)

Adaptation in a Pervasive Computing Environment. - Jed Limke; Jun Kong; Jing Dong 005 (SETP, 2008)

High-Assurance Service-Oriented Architectures. - Jing Dong 005; Raymond A. Paul; Liang-Jie Zhang (Computer, 2008)

Class and Object. - Jing Dong 005; Jianchao Han (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Extending service model to build an effective service composition framework for cyber-physical systems. - Jian Huang; Farokh B. Bastani; I-Ling Yen; Jing Dong 005; Wenke Zhang; Feng-Jian Wang; Hwai-Jung Hsu (SOCA, 2009)

A Review of Design Pattern Mining Techniques. - Jing Dong 005; Yajing Zhao; Tu Peng (Int. J. Softw. Eng. Knowl. Eng., 2009)

Specifying behavioral semantics of UML diagrams through graph transformations. - Jun Kong; Kang Zhang 001; Jing Dong 005; Dianxiang Xu (J. Syst. Softw., 2009)

XSLT-based evolutions and analyses of design patterns. - Jing Dong 005; Yajing Zhao; Yongtao Sun (Softw. Pract. Exp., 2009)

Ontology Classification for Semantic-Web-Based Software Engineering. - Yajing Zhao; Jing Dong 005; Tu Peng (IEEE Trans. Serv. Comput., 2009)

A Matrix-Based Approach to Recovering Design Patterns. - Jing Dong 005; Yajing Zhao; Yongtao Sun (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Enterprise Cloud Service Architecture. - Longji Tang; Jing Dong 005; Yajing Zhao; Liang-Jie Zhang (IEEE CLOUD, 2010)

Real-Time Service-Oriented Distributed Governance. - Jian Huang; Yansheng Zhang; I-Ling Yen; John T. Carson; Mike F. Siok; Farokh B. Bastani; Yajing Zhao; Jing Dong 005 (SERVICES, 2010)

A Classification of Enterprise Service-Oriented Architecture. - Longji Tang; Jing Dong 005; Yajing Zhao; Wei-Tek Tsai (SOSE, 2010)

Automated verification of security pattern compositions. - Jing Dong 005; Tu Peng; Yajing Zhao (Inf. Softw. Technol., 2010)

Modeling enterprise service-oriented architectural styles. - Longji Tang; Jing Dong 005; Tu Peng; Wei-Tek Tsai (Serv. Oriented Comput. Appl., 2010)

Design pattern evolutions in QVT. - Jing Dong 005; Yajing Zhao; Yongtao Sun (Softw. Qual. J., 2010)

On Instantiation and Integration Commutability of Design Pattern. - Jing Dong 005; Tu Peng; Yajing Zhao (Comput. J., 2011)