2004 |
7 | | Wuwei Shen,
Mohsen Guizani,
Zijiang Yang,
Kevin J. Compton,
James Huggins:
Execution of A Requirement Model in Software Development.
IASSE 2004: 203-208 |
2003 |
6 | 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- |
5 | EE | James Huggins,
Jean Mayo,
Charles Wallace:
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Abstract State Machines 2003: 414 |
4 | EE | James Huggins,
Joseph Bergin,
James Caristi,
Ellen Walker:
Survivor: getting through that class the first time.
SIGCSE 2003: 234-235 |
2002 |
3 | EE | Wuwei Shen,
Kevin J. Compton,
James Huggins:
A Toolset for Supporting UML Static and Dynamic Model Checking.
COMPSAC 2002: 147-152 |
2001 |
2 | EE | Wuwei Shen,
Kevin J. Compton,
James Huggins:
A UML Validation Toolset Based on Abstract State Machines.
ASE 2001: 315-318 |
1998 |
1 | EE | 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: 638-643 |