Method and apparatus for generating real-time embedded software for a chance game

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 automatically generated using an off-the-shelf, object-oriented, fully integrated, software development tool in which the software developer can analyze...

Full description

Saved in:
Bibliographic Details
Main Authors OBIED SALAH, VERADEJ ANUSSORN ANDY, RIPTON GARTH A
Format Patent
LanguageEnglish
Published 17.07.2003
Edition7
Subjects
CHECKING-DEVICES
COIN-FREED OR LIKE APPARATUS
PHYSICS
Online AccessGet full text

Cover

More Information
Summary: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 automatically generated using an off-the-shelf, object-oriented, fully integrated, software development tool in which the software developer can analyze, model, design, implement, and verify the behavior of the embedded software.
Bibliography:Application Number: US20010965429