| 2008 |
|---|
| 47 | EE | Raymond Paul,
I-Ling Yen,
Farokh B. Bastani,
Jing Dong,
Wei-Tek Tsai,
Krishna Kavi,
Arif Ghafoor,
Jaideep Srivastava:
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.
ICSC 2008: 386-393 |
| 46 | EE | Jing Dong,
Yongtao Sun,
Yajing Zhao:
Design pattern detection by template matching.
SAC 2008: 765-769 |
| 45 | | Tu Peng,
Jing Dong,
Yajing Zhao:
Verifying Behavioral Correctness of Design Pattern Implementation.
SEKE 2008: 454-459 |
| 44 | EE | Jing Dong,
Yongtao Sun,
Yajing Zhao:
Hierarchical Composition of OWL-S Web Services.
SERA 2008: 187-194 |
| 43 | | Jed Limke,
Jun Kong,
Jing Dong:
Adaptation in a Pervasive Computing Environment.
SETP 2008: 145-155 |
| 42 | EE | Jing Dong,
Kurt E. Ackermann,
Brett Bavar,
Cristina Nita-Rotaru:
Mitigating attacks against virtual coordinate based routing in wireless sensor networks.
WISEC 2008: 89-99 |
| 2007 |
|---|
| 41 | EE | Jianchao Han,
Jing Dong:
Perspectives of Granular Computing in Software Engineering.
GrC 2007: 66-71 |
| 40 | EE | Jing Dong,
Tu Peng,
Yajing Zhao:
Model Checking Security Pattern Compositions.
QSIC 2007: 80-89 |
| 39 | | W. Eric Wong,
Lei Zhao,
Yu Qi,
Kai-Yuan Cai,
Jing Dong:
Effective Fault Localization using BP Neural Networks.
SEKE 2007: 374-379 |
| 38 | | Jing Dong,
Yajing Zhao:
Classification of Design Pattern Traits.
SEKE 2007: 473- |
| 37 | | Longji Tang,
Jing Dong:
A Survey of Formal Methods for Software Architecture.
SETP 2007: 221-227 |
| 36 | | Jing Dong,
Yajing Zhao,
Tu Peng:
Architecture and Design Pattern Discovery Techniques - A Review.
Software Engineering Research and Practice 2007: 621-627 |
| 35 | EE | Jing Dong,
Tu Peng,
Zongyan Qiu:
Commutability of Design Pattern Instantiation and Integration.
TASE 2007: 283-292 |
| 34 | EE | Jing Dong,
Sheng Yang,
Kang Zhang:
Visualizing Design Patterns in Their Applications and Compositions.
IEEE Trans. Software Eng. 33(7): 433-453 (2007) |
| 33 | EE | Chunying Zhao,
Jun Kong,
Jing Dong,
Kang Zhang:
Pattern-based design evolution using graph transformation.
J. Vis. Lang. Comput. 18(4): 378-398 (2007) |
| 32 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan,
Sheng Yang:
Composing pattern-based components and verifying correctness.
Journal of Systems and Software 80(11): 1755-1769 (2007) |
| 2006 |
|---|
| 31 | EE | Jing Dong,
Sheng Yang,
Kang Zhang:
A Model Transformation Approach for Design Pattern Evolutions.
ECBS 2006: 80-92 |
| 30 | | Jing Dong,
Sheng Yang,
Yongtao Sun,
W. Eric Wong:
QVT based model transformation for design pattern evolutions.
IMSA 2006: 16-22 |
| 29 | | Jing Dong,
Yongtao Sun,
Sheng Yang:
OWL-S Ontology Framework Extension for Dynamic Web Service Composition.
SEKE 2006: 544-549 |
| 28 | EE | Jing Dong,
Sheng Yang,
Dushyant S. Lad,
Yongtao Sun:
Service Oriented Evolutions and Analyses of Design Patterns.
SOSE 2006: 11-18 |
| 27 | EE | Jing Dong,
Yongtao Sun,
Sheng Yang,
Kang Zhang:
Dynamic web service composition based on OWL-S.
Science in China Series F: Information Sciences 49(6): 843-863 (2006) |
| 26 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Automating the analysis of design component contracts.
Softw., Pract. Exper. 36(1): 27-71 (2006) |
| 2005 |
|---|
| 25 | EE | Jun Kong,
Kang Zhang,
Jing Dong:
Grammar-Specified Model-Driven Architectures.
ICECCS 2005: 24-25 |
| 24 | EE | Jing Dong,
Shanguo Chen,
Jun-Jang Jeng:
Event-Based Blackboard Architecture for Multi-Agent Systems.
ITCC (2) 2005: 379-384 |
| 23 | EE | Jing Dong,
Sheng Yang,
Kang Zhang:
VisDP: A Web Service for Visualizing Design Patterns on Demand.
ITCC (2) 2005: 385-391 |
| 22 | EE | Jun Kong,
Kang Zhang,
Jing Dong,
Guang-Lei Song:
A Generative Style-driven Framework for Software Architecture Design.
SEW 2005: 173-182 |
| 21 | EE | Jing Dong,
Sheng Yang,
Lawrence Chung,
Paulo S. C. Alencar,
Donald D. Cowan:
A COTS architectural component specification stencil for selection and reasoning.
ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005) |
| 2004 |
|---|
| 20 | EE | Jing Dong,
Sheng Yang:
Towards Trusted Composition in Software Design.
HASE 2004: 306-307 |
| 19 | | Jing Dong,
Rucha Khisti,
Kendra Cooper,
Yi Deng:
A Component Framework for Resource Management Systems.
Software Engineering Research and Practice 2004: 681-687 |
| 18 | EE | Jing Dong:
Adding pattern related information in structural and behavioral diagrams.
Information & Software Technology 46(5): 293-300 (2004) |
| 17 | EE | Daniel M. Berry,
Khuzaima Daudjee,
Jing Dong,
Igor Fainchtein,
Maria Augusta Nelson,
Torsten Nelson,
Lihua Ou:
User's manual as a requirements specification: case studies.
Requir. Eng. 9(1): 67-82 (2004) |
| 16 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A behavioral analysis and verification approach to pattern-based design composition.
Software and System Modeling 3(4): 262-272 (2004) |
| 2003 |
|---|
| 15 | EE | Jun Kong,
Kang Zhang,
Jing Dong,
Guang-Lei Song:
A Graph Grammar Approach to Software Architecture Verification and Transformation.
COMPSAC 2003: 492- |
| 14 | | Jing Dong,
Sheng Yang:
Visualizing design patterns with a UML profile.
HCC 2003: 123-125 |
| 13 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A Formal Framework for Design Component Contracts.
IRI 2003: 53-60 |
| 12 | | Jing Dong:
Representing the Applications and Compositions of Design Patterns in UML.
SAC 2003: 1092-1098 |
| 11 | | Jing Dong,
Sheng Yang:
Extending UML to Visualize Design Patterns In Class Diagrams.
SEKE 2003: 124-131 |
| 10 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
On Analysis of Design Component Contracts: A Case Study.
STEP 2003: 103-113 |
| 9 | | Kendra Cooper,
Lirong Dai,
Yi Deng,
Jing Dong:
Developing a Formal Design Analysis Framework.
Software Engineering Research and Practice 2003: 68-73 |
| 2002 |
|---|
| 8 | EE | Jing Dong:
UML Extensions for Design Pattern Compositions.
Journal of Object Technology 1(5): 151-163 (2002) |
| 2001 |
|---|
| 7 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
A Behavioral Analysis Approach to Pattern-Based Composition.
OOIS 2001: 540- |
| 2000 |
|---|
| 6 | EE | Jing Dong:
Model checking the composition of hypermedia design components.
CASCON 2000: 3 |
| 5 | EE | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Ensuring Structure and Behavior Correctness in Design Composition.
ECBS 2000: 279- |
| 4 | EE | Jing Dong:
A logical framework for design composition.
ICSE 2000: 698-700 |
| 1999 |
|---|
| 3 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Jing Dong,
Carlos José Pereira de Lucena:
A Pattern-Based Approach to Structural Design Composition.
COMPSAC 1999: 160-165 |
| 2 | | Jing Dong,
Paulo S. C. Alencar,
Donald D. Cowan:
Correct Composition of Design Components.
ECOOP Workshops 1999: 188 |
| 1998 |
|---|
| 1 | EE | Paulo S. C. Alencar,
Donald D. Cowan,
Jing Dong,
Carlos José Pereira de Lucena:
A Transformational Approach to Structural Design Assessment and Change.
ECOOP Workshops 1998: 60-61 |
