Login / Signup
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.
Doron Drusinsky
James Bret Michael
Thomas W. Otani
Man-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