To overcome the aforementioned problems generally associated with software development in the gaming industry, the present invention is directed to a method and apparatus for generating real-time embedded software code for a game of chance from formal design models. Much of the software code is autom...