Object oriented data analysis অনুযায়ী Marron, James Stephen 1954-, Dryden, I. L.

Automated validation & verification of UML/OCL models using satisfiability solvers অনুযায়ী Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Object oriented analysis and design using UML অনুযায়ী Mala, D. Jeya, Geetha, S.

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Object-oriented analysis and design

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Objects, models, components, patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

ECOOP 2011 object-oriented programming 25th European conference, Lancaster, Uk, July 25-29, 2011 proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Distributed programming with Ruby অনুযায়ী Bates, Mark 1976-

Object-oriented systems analysis and design using UML অনুযায়ী Bennett, Simon

Object oriented simulation a modeling and programming perspective অনুযায়ী Garrido, Jose M.