Resultats de la cerca

Automated validation & verification of UML/OCL models using satisfiability solvers per 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 per Mala, D. Jeya, Geetha, S.

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

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

Distributed programming with Ruby per Bates, Mark 1976-

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

Object oriented simulation a modeling and programming perspective per Garrido, Jose M.

The art & science of Java an introduction to computer science per Roberts, Eric