OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (13)

Show More Show Less

Author

Aramayo, Adriana Lorena (1)
Bertolami, Mabel Angélica (1)
Cengia, Javier Andrés (1)
Díaz, Javier Roberto (1)
Felice, Laura (1)
Fortier, Andrés (1)
Garcia, Carlos Diego (1)
Luzuriaga, Juan Manuel (1)
Mauco, Virginia (1)
Pereira, Claudia Teresa (1)

Show More Show Less

Subject

Ciencias Informáticas (13)
Software (13)
Informática (4)
Aplicación informática (3)
Diseño de software (2)
Ingeniería de software (2)
análisis de dominio (2)
métodos formales (2)
Alloy (1)
Computer-aided software engineering (CASE) (1)

Show More Show Less

Year

2008 (7)
2005 (2)
2011 (2)
2013 (2)
1997 (1)
2001 (1)
2003 (1)
2004 (1)
2006 (1)
2009 (1)

Show More Show Less

Document Type

Tesis (13)

Show More Show Less

Language

Español (13)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Repository: 37 Document Type: Tesis Subject: Software

Sort by Score Title Year -

11-13 from 13 results (0.016 seconds)

Title: Una herramienta para identificar crosscutting concerns a través de LEL
Author: Aramayo, Adriana Lorena / Rossi, Joaquín Ignacio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis de dominio / Languages / Software / característica transversal / código enmarañado / código disperso / léxico extendido del lenguaje / usabilidad / accesibilidad / aplicación web

Acceder
Title: Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Author: Cengia, Javier Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Computer-aided software engineering (CASE) / Software process models (e.g., CMM, ISO, PSP)

Acceder
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder

« Previous 1 2 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723