|
[ CourseHulu.com ] Automated Validation & Verification of UML - OCL Models Using Satisfiability Solvers
3 months, 3 weeks
Files: 4 Total size: 11.0 MB Total requests: 117 Last access time: 1 day, 15 hours
|
|
Object-Oriented Analysis and Design for Information Systems - Modeling with UML OCL and IFML.epub
9 months, 3 weeks
Files: 1 Total size: 8.8 MB Total requests: 153 Last access time: 2 hours, 44 minutes
|