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

Show More Show Less

Author

Dapozo, Gladys N. (3)
Greiner, Cristina L. (3)
Bertone, Rodolfo Alfredo (2)
Díaz, Francisco Javier (2)
Esponda, Silvia (2)
Estayno, Marcelo G. (2)
García Martínez, Ramón (2)
Medina, Yanina (2)
Acosta, Araceli (1)
Alfonzo, Pedro L. (1)

Show More Show Less

Subject

Software (51)
Ciencias Informáticas (49)
Informática (5)
Requirements/Specifications (4)
SOFTWARE ENGINEERING (3)
Semantics (3)
Automation (2)
Ingeniería (2)
Languages (2)
Validation (2)

Show More Show Less

Year

2013 (53)
2014 (3)
2019 (2)
2020 (2)
2003 (1)
2010 (1)
2017 (1)

Show More Show Less

Document Type

Sin Especificar (38)
Tesis (10)
Libro (4)
Artículo (1)

Show More Show Less

Language

Español (47)
Inglés (5)
Sin Especificar (1)

Show More Show Less

Your search

Year: 2013 Subject: Software Program Verification Repository: 37

Sort by Score Title Year -

51-53 from 53 results (0.012 seconds)

Title: Herramientas para el soporte de análisis de rendimiento
Author: More, Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / aplicaciones de alto rendimiento / Software / Performance / análisis de rendimiento / Optimization / Linpack / STREAM / Intel MPI Benchmarks / HPC Challenge

Acceder
Title: Reuso orientado a servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / Cors, Israel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de software basada en reuso / Web-based services / Software quality assurance (SQA) / software orientado a servicios / Verification / Validation

Acceder
Title: Verification of Structured Processes: A Method Based on an Unsoundness Profile
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification

AccederDescargar

« Previous 1 2 3 4 5 6 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