Login / Signup
Executable Object Modeling with Statecharts.
David Harel
Eran Gery
Published in:
ICSE (1996)
Keyphrases
</>
object modeling
range images
three dimensional
occluding contours
object models
formal specification
object model
agent oriented
reactive systems
control flow
data sets
pairwise
small number
multi view
formal methods
class diagrams