Using Lightweight Formal Methods to Model Class and Object Diagrams
Computer Science and Information Systems (2012)
- Issue: 21, page 411-429
- ISSN: 1820-0214
Access Full Article
topHow to cite
topFernando Valles-Barajas. "Using Lightweight Formal Methods to Model Class and Object Diagrams." Computer Science and Information Systems (2012): 411-429. <http://eudml.org/doc/253084>.
@article{FernandoValles2012,
author = {Fernando Valles-Barajas},
journal = {Computer Science and Information Systems},
language = {eng},
number = {21},
pages = {411-429},
publisher = {ComSIS Consortium},
title = {Using Lightweight Formal Methods to Model Class and Object Diagrams},
url = {http://eudml.org/doc/253084},
year = {2012},
}
TY - JOUR
AU - Fernando Valles-Barajas
TI - Using Lightweight Formal Methods to Model Class and Object Diagrams
JO - Computer Science and Information Systems
PY - 2012
PB - ComSIS Consortium
IS - 21
SP - 411
EP - 429
LA - eng
UR - http://eudml.org/doc/253084
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.