Your search returned 18 results.

Sort
Results
Un marco formal para transformaciones en la ingeniería de software conducida por modelos by
Material type: Text Text; Literary form: Not fiction
Publication details: 2007
Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata, Facultad de Informática, 2007.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (2)Call number: TES 07/16 , ... Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

MoDELS 2007 Doctoral Symposium summary by Series: ^p Datos electrónicos (1 archivo : 113 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Generalization relation in UML model elements by Series: ^p Datos electrónicos (1 archivo : 33 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Formal foundations of object-oriented modeling notations by Series: ^p Datos electrónicos (1 archivo : 932 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Reasoning about the correctness of software development process by Series: ^p Datos electrónicos (1 archivo : 216 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A lightweight approach for the semantic validation of model refinements by Series: ^p Datos electrónicos (1 archivo : 297 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Practical verification strategy for refinement conditions in UML models by Series: ^p Datos electrónicos (1 archivo : 100 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE by Series: ^p Datos electrónicos (1 archivo : 270 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A formal foundation for transformations in model driven engineering by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Use of model driven engineering in building generic FCA/RCA tools by Series: ^p Datos electrónicos (1 archivo : 749 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

An algebraic approach for composing model transformations in QVT by Series: ^p Datos electrónicos (1 archivo : 426 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Manejo visual de transformaciones entre modelos MOF by
Material type: Text Text; Literary form: Not fiction
Publication details: 2008
Dissertation note: Tesina (Lic. en Informática). Facultad de Informática - UNLP.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 08/37. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Model transformation languages relying on models as ADTs by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Metamodel independence in domain specific modeling languages by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Mecanismos de rastreo en el desarrollo de software dirigido por modelos by
Material type: Text Text; Literary form: Not fiction
Publication details: 2014
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2014.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 14/16 .

Desarrollo dirigido por pruebas aplicado a Rich Internet Applications by
Material type: Text Text; Literary form: Not fiction
Publication details: 2010
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2010.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 10/49 .

Estrategia híbrida basada en código y modelos para el desarrollo ágil de aplicaciones web by
Material type: Text Text; Literary form: Not fiction
Publication details: 2015
Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: TES 15/68. Not available: Biblioteca de la Facultad de Informática: No corresponde (2).

Metodología basada en modelos en tiempo de ejecución para la construcción y operación de sistemas autoconscientes de Internet de las Cosas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2024
Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata. Facultad de Informática, 2024.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 24/45 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages