Searching for authors named Wuwei Shen – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Formalization, testing and execution of a use case diagram
- …Formalization, Testing and Execution of a Use Case Diagram Wuwei Shen 1 and Shaoying Liu 2⋆ 1 Dept…
- Cited by 3 (0 self) – Add To MetaCart
-
A Toolset for Supporting UML Static and Dynamic Model Checking
- …A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen Dept of Computer…
- Cited by 11 (1 self) – Add To MetaCart
-
The Static and Dynamic Semantics of C
- …The Static and Dynamic Semantics of C James K. Huggins # Wuwei Shen +# Abstract Montages are a…
- Cited by 5 (0 self) – Add To MetaCart
-
A Semantic Model for the State Machine in the Unified Modeling Language
- … Huggins 3 , and Wuwei Shen 1? 1 EECS Department, University of Michigan 1301 Beal Avenue, Ann Arbor…
- Cited by 4 (0 self) – Add To MetaCart
-
Execution of a requirement model in software development
- …Execution of A Requirement Model in Software Development Wuwei Shen, Mohsen Guizani and Zijiang…
- Cited by 2 (1 self) – Add To MetaCart
-
An Automatic Verification Tool for UML
- …An Automatic Verification Tool for UML Kevin Compton, Yuri Gurevich James Huggins, Wuwei Shen Feb…
- Cited by 12 (2 self) – Add To MetaCart
-
Maintaining Life Perspectives During the
- … , Wuwei Shen 2 , and Kun Wang 2 1 Teknowledge Corporation, 4640 Admiralty Way, Suite 1010, Marina Del Rey…
- Add To MetaCart
Showing 1 through 7.
