Automatic Transformation of Hybrid Object and Logic Specification to C++ Code.
Vassileios KarakostasL. PourkashaniPublished in: TOOLS (13) (1994)
Keyphrases
- asynchronous circuits
- d objects
- moving objects
- object model
- modal logic
- transition systems
- code generation
- target object
- complex objects
- fully automatic
- logic programming
- neural network
- multi valued
- specification language
- lighting conditions
- object tracking
- formal specification
- formal verification
- semi automatic
- state machine
- web services