• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Lijun YuRobert B. FranceIndrakshi RayKevin 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