1 Basic Laws of Object Modeling Rohit Gheyi Tiago Massoni Paulo Borba Software Productivity Group Informatics Center – UFPE.
Pipelining a RISC Architecture Stepwise Verification of DLX Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
A Model-driven Approach to Refactoring Tiago Massoni Software Productivity Group UFPE.
A Model-driven Approach to Refactoring
CMPSC 274: Transaction Processing Lecture #2: Correctness