|
[ CourseHulu.com ] Automated Validation & Verification of UML - OCL Models Using Satisfiability Solvers
9 months, 1 week
Files: 1 Total size: 11.0 MB Total requests: 543 Last access time: 21 hours, 5 minutes
|
|
Object-Oriented Analysis and Design for Information Systems - Modeling with UML OCL and IFML.epub
1 year, 3 months
Files: 1 Total size: 8.8 MB Total requests: 336 Last access time: 3 days, 2 hours
|
Files: 1 Total size: 332.9 MB Total requests: 819 Last access time: 9 hours, 14 minutes
|