Geodesic
Using Lightweight Formal Methods to Model Class and Object Diagrams
Computer Science and Information Systems, Tome 9 (2012) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a threein-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diagrams, as well as the rules that govern how these elements can be connected, are specified.
Keywords: Alloy, Formal Methods, UML 
@article{CSIS_2012_9_1_a18,
     author = {Fernando Valles-Barajas},
     title = {Using {Lightweight} {Formal} {Methods} to {Model} {Class} and {Object} {Diagrams}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {9},
     number = {1},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/}
}
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
VL  - 9
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/
ID  - CSIS_2012_9_1_a18
ER  - 
%0 Journal Article
%A Fernando Valles-Barajas
%T Using Lightweight Formal Methods to Model Class and Object Diagrams
%J Computer Science and Information Systems
%D 2012
%V 9
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/
%F CSIS_2012_9_1_a18
Fernando Valles-Barajas. Using Lightweight Formal Methods to Model Class and Object Diagrams. Computer Science and Information Systems, Tome 9 (2012) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/