Login / Signup

A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.

Ansuman BanerjeeSayak RayPallab DasguptaPartha Pratim ChakrabartiS. RameshP. Vignesh V. Ganesan
Published in: ATVA (2008)
Keyphrases
  • formal methods
  • dynamic environments
  • database design
  • artificial intelligence
  • software engineering
  • real time
  • multi agent systems
  • software architecture
  • modeling language
  • case study
  • model checking