Formal foundations for the unified modeling language
We present in this work an outline of an ongoing research line in the framework of the Software Engineering Group (SEG) at the National University of San Luis. We describe here the previous work carried out by the group in formalizing UML using RSL, as well as the current and future work in the matt...
Guardado en:
Autores principales: | , , , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2003
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21470 |
Aporte de: |
id |
I19-R120-10915-21470 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Inglés |
topic |
Ciencias Informáticas Languages SOFTWARE ENGINEERING formal foundations unified modeling language |
spellingShingle |
Ciencias Informáticas Languages SOFTWARE ENGINEERING formal foundations unified modeling language Funes, Ana Dasso, Aristides Riesco, Daniel Eduardo Montejano, Germán Antonio Uzal, Roberto Formal foundations for the unified modeling language |
topic_facet |
Ciencias Informáticas Languages SOFTWARE ENGINEERING formal foundations unified modeling language |
description |
We present in this work an outline of an ongoing research line in the framework of the Software Engineering Group (SEG) at the National University of San Luis. We describe here the previous work carried out by the group in formalizing UML using RSL, as well as the current and future work in the matter. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Funes, Ana Dasso, Aristides Riesco, Daniel Eduardo Montejano, Germán Antonio Uzal, Roberto |
author_facet |
Funes, Ana Dasso, Aristides Riesco, Daniel Eduardo Montejano, Germán Antonio Uzal, Roberto |
author_sort |
Funes, Ana |
title |
Formal foundations for the unified modeling language |
title_short |
Formal foundations for the unified modeling language |
title_full |
Formal foundations for the unified modeling language |
title_fullStr |
Formal foundations for the unified modeling language |
title_full_unstemmed |
Formal foundations for the unified modeling language |
title_sort |
formal foundations for the unified modeling language |
publishDate |
2003 |
url |
http://sedici.unlp.edu.ar/handle/10915/21470 |
work_keys_str_mv |
AT funesana formalfoundationsfortheunifiedmodelinglanguage AT dassoaristides formalfoundationsfortheunifiedmodelinglanguage AT riescodanieleduardo formalfoundationsfortheunifiedmodelinglanguage AT montejanogermanantonio formalfoundationsfortheunifiedmodelinglanguage AT uzalroberto formalfoundationsfortheunifiedmodelinglanguage |
bdutipo_str |
Repositorios |
_version_ |
1764820464574660611 |