Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Comisión de Investigaciones Científicas | - |
| dc.contributor | Pons, Claudia Fabiana | - |
| dc.creator | Pons, Claudia Fabiana | - |
| dc.date | 2001-10 | - |
| dc.date.accessioned | 2019-04-29T16:12:56Z | - |
| dc.date.available | 2019-04-29T16:12:56Z | - |
| dc.date.issued | 2001-10 | - |
| dc.identifier | http://digital.cic.gba.gob.ar/handle/11746/3540 | - |
| dc.identifier | Documento completo | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/311774 | - |
| dc.description | El objetivo de este artículo es describir las principales características del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado gráficos, cercanos a las necesidades del dominio de la aplicación, con lenguajes de modelado formales, provistos de herramientas de análisis y verificación. A partir de la estandarización del lenguaje gráfico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precisión semántica de sus construcciones. Mientras que el OMG fue responsable por la estandarización de UML como notación, la semántica de UML aún es un tema de investigación. Existe un número importante de trabajos teóricos que tratan diferentes partes de UML definiendo formalmente su semántica. En este artículo hemos seleccionamos los más representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un análisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoría formal de primer orden. | - |
| dc.description | Eje: Ingeniería de software | - |
| dc.format | application/pdf | - |
| dc.format | 20 p. | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | Attribution 4.0 International (BY 4.0) | - |
| dc.source | reponame:CIC Digital (CICBA) | - |
| dc.source | instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires | - |
| dc.source | instacron:CICBA | - |
| dc.source.uri | http://digital.cic.gba.gob.ar/handle/11746/3540 | - |
| dc.source.uri | Documento completo | - |
| dc.subject | Ciencias de la Computación | - |
| dc.title | El proceso de desarrollo de software basado en modelos | - |
| dc.type | info:eu-repo/semantics/conferenceObject | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/documentoDeConferencia | - |
| Aparece en las colecciones: | Comisión de Investigaciones Científicas de la Prov. de Buenos Aires | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.