Refine your search

Your search returned 154 results.

Sort
Results
Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2001
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2001.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 01/07 .

Una posible semántica operacional de alto nivel para lenguajes de generación de contenido dinámico en el contexto de aplicaciones web by
Material type: Text Text; Literary form: Not fiction
Publication details: 2001
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Informática, 2001.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 01/13 .

Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos by
Material type: Text Text; Literary form: Not fiction
Publication details: 1999
Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata, Facultad de Ciencias Exactas, 1999.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 99/16 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos by
Material type: Text Text; Literary form: Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/05 .

Estudio del proceso unificado de desarrollo de software mediante una aplicación ejemplo : comparación del mismo con una metodología tradicional by
Material type: Text Text; Literary form: Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/06 .

Lógica. Cursos 2002-2004 by
Material type: Text Text; Literary form: Not fiction
Publication details: 2002-2004
Availability: Items available for loan: Biblioteca de la Facultad de Informática (3)Call number: P90243_02E, ... Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Lógica. Curso 2005 by
Material type: Text Text; Literary form: Not fiction
Publication details: [S.n.], 2005
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: P90243_05E, ... Not available: Biblioteca de la Facultad de Informática: No corresponde (2).

Herramienta para automatizar la transformación UML/OCL a Object-Z by
Material type: Text Text; Literary form: Not fiction
Publication details: 2006
Dissertation note: Tesina (Licenciatura en Informática) -- Universidad Nacional de La Plata, Facultad de Informática, 2006.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 06/12 .

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).

Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z by Series: ^p Datos electrónicos (1 archivo : 269 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Schema evolution in federated information systems by Series: ^p Datos electrónicos (1 archivo : 52 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Una extensión de UML para modelar refinamientos by Series: ^p Datos electrónicos (1 archivo : 152 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Improving the OCL semantics definition by applying dynamic meta modeling and design patterns by Series: ^p Datos electrónicos (1 archivo : 563 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF by
Material type: Text Text; Literary form: Not fiction
Publication details: 2008
Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 08/06 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Composición de transformaciones de modelos en MDD basada en el Álgebra Relacional by Series: ^p Datos electrónicos (1 archivo : 147 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A minimal OCL-based profile for model transformation by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Un lenguaje para transformación de modelos basado en MOF y OCL by Series: ^p Datos electrónicos (1 archivo : 640 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Use case refinements in the object oriented software development process by
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).

On the definition of UML refinement patterns by Series: ^p Datos electrónicos (1 archivo : 93 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages