Name: On the Formalization of Model-Driven Software Engineering (en Inglés)
SKU: 62070034
Price: 84.13 USD
Availability: InStock
Author: Miguel Alfredo Garcia Gutierrez

portada On the Formalization of Model-Driven Software Engineering (en Inglés)

On the Formalization of Model-Driven Software Engineering (en Inglés)

Formato

Libro Físico

Editorial

Logos Verlag

Autor

Miguel Alfredo Garcia Gutierrez

Idioma

Inglés

N° páginas

300

Encuadernación

Tapa Blanda

ISBN13

9783832523121

On the Formalization of Model-Driven Software Engineering (en Inglés)

Miguel Alfredo Garcia Gutierrez (Autor) · Logos Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 28 días háb.

$ 168.26$ 84.13

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 84.13

Llega entre el 21 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "On the Formalization of Model-Driven Software Engineering (en Inglés)"

Model-Driven Software Engineering (MDSE) encompasses traditional areas of language design, tool engineering, and system validation and verification, following a unified conceptual and technical framework (metamodeling, declarative model transformations, model-based analysis). This work presents design cases of methodologies and tools for MDSE, where the state-of-the-art is advanced as a result of applying formal techniques. The contributions encompass (a) the application of metamodeling techniques to industrially relevant languages, capturing their static semantics in a machine-processable manner; (b) the formulation of a methodology for the design-time certification of transformation algorithms; (c) the design of algorithms for efficiently evaluating Object Constraint Language (OCL) invariants for both the secondary-storage and main-memory cases; and (d) several contributions focused on the generation of Integrated Development Environments (IDEs) derived from language definitions for Domain Specific Languages (DSLs). Venues for further progress and an appraisal of the impact of our research are also reported.