| 2008 |
|---|
| 12 | EE | Wuwei Shen,
Dae-Kyoo Kim:
ICER: a tool for finding errors in a UML model.
SAC 2008: 804-808 |
| 11 | EE | Dae-Kyoo Kim,
Wuwei Shen:
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies.
Software Quality Journal 16(3): 329-359 (2008) |
| 2007 |
|---|
| 10 | EE | Kun Wang,
Wuwei Shen:
Improving the Accuracy of UML Class Model Recovery.
COMPSAC (1) 2007: 387-390 |
| 9 | EE | Dae-Kyoo Kim,
Wuwei Shen:
An approach to evaluating structural pattern conformance of UML models.
SAC 2007: 1404-1408 |
| 2005 |
|---|
| 8 | EE | Alexander Egyed,
Wuwei Shen,
Kun Wang:
Maintaining Life Perspectives During the Refinement of UML Class Structures.
FASE 2005: 310-325 |
| 7 | | Wuwei Shen,
Weng Liong Low:
Using Abstract State Machines to Support UML Model Instantiation Checking.
IASTED Conf. on Software Engineering 2005: 100-105 |
| 6 | EE | Wuwei Shen,
Weng Liong Low:
Using the Metamodel Mechanism to Support Class Refinement.
ICECCS 2005: 421-430 |
| 2004 |
|---|
| 5 | | Wuwei Shen,
Mohsen Guizani,
Zijiang Yang,
Kevin J. Compton,
James Huggins:
Execution of A Requirement Model in Software Development.
IASSE 2004: 203-208 |
| 2003 |
|---|
| 4 | EE | Wuwei Shen,
Kevin J. Compton,
James Huggins:
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.
APSEC 2003: 224- |
| 3 | EE | Wuwei Shen,
Shaoying Liu:
Formalization, Testing and Execution of a Use Case Diagram.
ICFEM 2003: 68-85 |
| 2002 |
|---|
| 2 | EE | Wuwei Shen,
Kevin J. Compton,
James Huggins:
A Toolset for Supporting UML Static and Dynamic Model Checking.
COMPSAC 2002: 147-152 |
| 2001 |
|---|
| 1 | EE | Wuwei Shen,
Kevin J. Compton,
James Huggins:
A UML Validation Toolset Based on Abstract State Machines.
ASE 2001: 315-318 |
