Automated validation & verification of UML/OCL models using satisfiability solvers by 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

Model-driven design using IEC 61499 a synchronous approach for embedded and automation systems by Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.

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 by Mala, D. Jeya, Geetha, S.

Object-oriented and classical software engineering by Schach, Stephen R.

Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Modelling enterprise architectures by Holt, Jon, Perry, Simon

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

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

Systems analysis and design with UML an object-oriented approach by Dennis, Alan

Metamodelling for software engineering by González Pérez, César A.

Object-oriented & classical software engineering by Schach, Stephen R.