A light-weight static approach to analyzing UML behavioral properties.

Lijun Yu Robert B. France Indrakshi Ray Kevin Lano

Published in: ICECCS (2007)

Keyphrases

lightweight
object oriented
software architecture
wireless sensor networks
software development
software systems
formal methods
case study
image sequences
multi view
design patterns
metamodel