Wuwei Shen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins: Execution of A Requirement Model in Software Development. IASSE 2004: 203-208

4 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-

2 Wuwei Shen, Kevin J. Compton, James Huggins: A Toolset for Supporting UML Static and Dynamic Model Checking. COMPSAC 2002: 147-152

1 Wuwei Shen, Kevin J. Compton, James Huggins: A UML Validation Toolset Based on Abstract State Machines. ASE 2001: 315-318

Selection of 4 from 14 records - Wuwei Shen has 11 coauthors

5		Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins: Execution of A Requirement Model in Software Development. IASSE 2004: 203-208
4		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-
2		Wuwei Shen, Kevin J. Compton, James Huggins: A Toolset for Supporting UML Static and Dynamic Model Checking. COMPSAC 2002: 147-152
1		Wuwei Shen, Kevin J. Compton, James Huggins: A UML Validation Toolset Based on Abstract State Machines. ASE 2001: 315-318