James Huggins

According to our database, James Huggins authored at least 6 papers between 1998 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Execution of A Requirement Model in Software Development.

Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A Toolset for Supporting UML Static and Dynamic Model Checking.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

A UML Validation Toolset Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1998

Zen and the art of Alpha verification.

Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.

Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey

Proceedings of the 35th Conference on Design Automation, 1998