Showing 1 - 10 results of 27 for search '', query time: 0.06s Refine Results
  1. 1

    Automated validation & verification of UML/OCL models using satisfiability solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published 2018
    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
    Electronic Resource

    Automated validation & verification of UML/OCL models using satisfiability solvers
  2. 2

    Object oriented analysis and design using UML by Mala, D. Jeya, Geetha, S.

    Published 2013
    Book

    Object oriented analysis and design using UML
  3. 3

    Object-oriented analysis and design

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Object-oriented analysis and design
  4. 4

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2010
    Book

    Object-oriented systems analysis and design using UML
  8. 8

    Distributed programming with Ruby by Bates, Mark 1976-

    Published 2010
    Book

    Distributed programming with Ruby
  9. 9

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

    Published 2009
    Book

    Object oriented simulation a modeling and programming perspective
  10. 10

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

    Published 2008
    Book

    The art & science of Java an introduction to computer science

Search Tools: