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 (3)

Show More Show Less

Author

Aguirre, Nazareno Matías (1)
Britos, Paola Verónica (1)
Fernández, Enrique (1)
Fernández, Victor (1)
García Martínez, Ramón (1)
Giulianelli, Daniel Alberto (1)
Marko, Isabel (1)
Merlino, Hernán (1)
Novaira, Maria Marta (1)
Permigiani, Sonia (1)

Show More Show Less

Subject

Ciencias Informáticas (3)
Validation (3)
Automation (1)
Cellular architecture (e.g., mobile) (1)
Formal methods (1)
Informática (1)
Lenguajes de Programación (1)
Model Validation and Analysis (1)
SOFTWARE ENGINEERING (1)
Verification (1)

Show More Show Less

Year

2012 (3)
2005 (1)
2007 (1)

Show More Show Less

Document Type

Sin Especificar (3)

Show More Show Less

Language

Español (3)

Show More Show Less

Your search

Subject: Validation Year: 2012 Language: Español

Sort by Score Title Year -

1-3 from 3 results (0.011 seconds)

Title: Técnicas para la validación de un sitio web móvil
Author: Giulianelli, Daniel Alberto / Pons, Claudia / Vera, Pablo Martín / Rodríguez, Rocío Andrea / Trigueros, Artemisa / Fernández, Victor / Marko, Isabel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / dispositivos móviles / Cellular architecture (e.g., mobile) / evaluación / emuladores / Validation / validadores / ciclo de vida

Acceder
Title: Validación automática de sistemas
Author: Merlino, Hernán / Fernández, Enrique / Rodríguez, Dario / Britos, Paola Verónica / García Martínez, Ramón
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / Validation / Model Validation and Analysis / aalidación automática / automatización / Automation / automatic validation

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder

« Previous 1 Next »

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

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

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