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

Object oriented data analysis 著者: Marron, James Stephen 1954-, Dryden, I. L. (Ian 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