Login / Signup

Generating OMNeT++ specifications from UML models for PSoC distributed applications.

Gabriela MagureanuMadalin GavrilescuIrina TalAdina TomaDan PescaruIonel Jian
Published in: SACI (2011)
Keyphrases
  • uml models
  • written in natural language
  • object oriented
  • sequence diagrams
  • test cases
  • formal specification
  • delay insensitive
  • database