Steve Tockey

Learn More
This paper explores the idea of complementing the UML with a compatible mechanism for precisely specifying action semantics in a software-platform-independent manner. We believe that this would bring significant benefits to the community, such as: Early Verification. Precise action specifications can be used to perform specification-based simulation and(More)
  • 1