|
[ CourseHulu.com ] Automated Validation & Verification of UML - OCL Models Using Satisfiability Solvers
5 months, 1 week
Files: 4 Total size: 11.0 MB Total requests: 185 Last access time: 11 hours, 18 minutes
|
|
Object-Oriented Analysis and Design for Information Systems - Modeling with UML OCL and IFML.epub
11 months, 1 week
Files: 1 Total size: 8.8 MB Total requests: 242 Last access time: 17 hours, 37 minutes
|
Files: 5 Total size: 332.9 MB Total requests: 627 Last access time: 1 day, 6 hours
|