James Huggins

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

Publications

Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins
Execution of A Requirement Model in Software Development. IASSE (2004)
Wuwei Shen, Kevin J. Compton, James Huggins
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. APSEC (2003)
Wuwei Shen, Kevin J. Compton, James Huggins
A Toolset for Supporting UML Static and Dynamic Model Checking. COMPSAC (2002)
Wuwei Shen, Kevin J. Compton, James Huggins
A UML Validation Toolset Based on Abstract State Machines. ASE (2001)
Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor
Zen and the art of Alpha verification. ICCD (1998)
Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey
Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. DAC (1998)