×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [equivalence notion]
1 Basic Laws of Object Modeling Rohit Gheyi Tiago Massoni Paulo Borba Software Productivity Group Informatics Center – UFPE
216 views
Pipelining a RISC Architecture Stepwise Verification of DLX Egon Börger Dipartimento di Informatica, Universita di Pisa boerger
215 views
A Model-driven Approach to Refactoring Tiago Massoni Software Productivity Group UFPE
216 views
A Model-driven Approach to Refactoring
36 views
CMPSC 274: Transaction Processing Lecture #2: Correctness
48 views