|
[ CourseHulu.com ] Automated Validation & Verification of UML - OCL Models Using Satisfiability Solvers
6 months, 3 weeks
Files: 4 Total size: 11.0 MB Total requests: 236 Last access time: 1 day, 21 hours
|
|
Object-Oriented Analysis and Design for Information Systems - Modeling with UML OCL and IFML.epub
1 year
Files: 1 Total size: 8.8 MB Total requests: 332 Last access time: 1 day, 22 hours
|
Files: 5 Total size: 332.9 MB Total requests: 738 Last access time: 1 day, 7 hours
|