Dynamic Slicing Research of UML Statechart Specifications.

Published in: J. Comput. (2011)

Keyphrases

specification language
database design
high level
object oriented
formal methods
class diagram
database
data sets
mobile robot