Výsledky vyhledávání

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

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

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

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