Using Lightweight Formal Methods to Model Class and Object Diagrams Fernando Valles-Barajas — 2012 Computer Science and Information Systems