James Huggins

Learn More
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of them support either static or dynamic model checking; and no tools support to check both static and dynamic aspects of a UML model . But a UML model should include the static and(More)
DIGITAL's Alpha 21264 processor is a highly out-of-order, superpipelined, superscalar implementation of the Alpha architecture, capable of a peak execution rate of six instructions per cycle and a sustainable rate of four per cycle. The 21264 also features a 500 MHz clock speed and a high-bandwidth system interface that channels up to 5.3 Gbytes/second of(More)
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early stages in software development. Use case diagrams in UML are used to give requirements for a software system, but all descriptions for each use case are written in informal(More)
All that good advice seems to go “out the window” when faced with the prospect of teaching a given course for the first time. It’s extremely hard to decide on objectives of the course when one is unfamiliar with how students will embrace the course material, or perhaps personally uncertain of the material to be covered. And, in a rapidly-changing field,(More)
  • 1