Object-oriented analysis and design for information systems agile modeling with BPMN, OCL, IFML, and Python Yazar: Wazlawick, Raul Sidnei

Object oriented data analysis Yazar: Marron, James Stephen 1954-, Dryden, I. L. (Ian L.)

Automated validation & verification of UML/OCL models using satisfiability solvers Yazar: 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 Yazar: 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 Yazar: Bates, Mark 1976-

Object-oriented systems analysis and design using UML Yazar: Bennett, Simon