|
[ 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: 10 hours, 48 minutes
|
|
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: 136 Last access time: 2 hours, 9 minutes
|
Files: 5 Total size: 332.9 MB Total requests: 528 Last access time: 3 days, 9 hours
|