Sign in

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.

Doron DrusinskyJames Bret MichaelThomas W. OtaniMan-tak Shing
Published in: SSIRI (2008)
Keyphrases
  • software systems
  • formal methods
  • digital libraries
  • test cases
  • database
  • metadata
  • object oriented
  • software development
  • database design
  • object oriented modeling
  • uml activity diagrams