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

Show More Show Less

Author

Cechich, Alejandra (3)
Flores, Andrés P. (3)
Garriga, Martín (3)
Moyano, Marcelo (3)
Aguirre, Nazareno Matías (2)
De Renzis, Alan (2)
Aguirre, Juan José (1)
Alvez, Carlos E. (1)
Anabalon, Diego (1)
Argañaraz, Mauro C. (1)

Show More Show Less

Subject

Ciencias Informáticas (10)
Verification (10)
Validation (5)
Web-based services (3)
Software quality assurance (SQA) (2)
ingeniería de software basada en reuso (2)
software orientado a servicios (2)
Design languages (1)
Distributed Systems (1)
Ethereum (1)

Show More Show Less

Year

2012 (3)
2005 (2)
2015 (2)
2006 (1)
2013 (1)
2014 (1)
2016 (1)
2017 (1)
2018 (1)
2020 (1)

Show More Show Less

Document Type

Sin Especificar (10)

Show More Show Less

Language

Español (10)

Show More Show Less

Your search

Subject: Verification Language: Español Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 10 results (0.011 seconds)

Title: Mejoras a un modelo léxico mediante mapas conceptuales
Author: Sebastián, Alberto / Hadad, Graciela Dora Susana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / léxico extendido del lenguaje / Verification

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: Aplicación y valoración de la verificación y validación de software: una encuesta realizada en Buenos Aires
Author: De Greca, Francisco / Rossi, Bibiana D. / Robiolo, Gabriela / Travassos, Guilherme Horta
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verification / Validation / testing

AccederDescargar
Title: Evaluación de compatibilidad y complejidad para el reuso de servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan / Anabalon, Diego / Corgatelli, Franco
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de software basada en reuso / Web-based services / software orientado a servicios / Verification / calidad de software / Validation

Acceder
Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author: De Vito, María Cecilia / Osella Massa, Germán Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification

Acceder
Title: Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Author: Argañaraz, Mauro C. / Berón, Mario / Rangel Henriques, Pedro / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / blockchain / Ethereum / smart contract / Solidity / Vyper / static analysis tool / Verification / security patterns

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
Title: Verificación del hablante mediante dispositivos móviles en entornos ruidosos
Author: Etchart, Graciela / Ruíz, Silvia / Miranda, Ernesto / Aguirre, Juan José / Herlein, Mauro / Alvez, Carlos E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verification / biometría de voz / dispositivos móviles

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

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