English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

El objetivo de este articulo es describir las principales caracteristicas del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado graficos, cercanos a las necesidades del dominio de la aplicacion, con lenguajes de modelado formales, provistos de herramientas de analisis y verificacion. A partir de la estandarizacion del lenguaje grafico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precision semantica de sus construcciones. Mientras que el OMG fue responsable por la estandarizacion de UML como notacion, la semantica de UML aun es un tema de investigacion. Existe un numero importante de trabajos teoricos que tratan diferentes partes de UML definiendo formalmente su semantica. En este articulo hemos seleccionamos los mas representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un analisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoria formal de primer orden.

Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos