Login / Signup
Verification of Good Design Style of UML Models.
Bogumila Hnatkowska
Published in:
ISIM (2007)
Keyphrases
</>
uml models
formal verification
design process
functional verification
database
case study
object oriented
distributed systems
video sequences
relational databases
software systems
test generation
sequence diagrams