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

Your search

Repository: 37 Subject: Verification Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 17 results (0.021 seconds)

Title: Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / soundness / correctness properties / Verification

AccederDescargar
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: Verification and validation of domain specific languages using Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / domain specific language (DSL) / Verification / Validation

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: A semi-automatic verification tool for software requirements specification documents
Author: Konig, Fabio / Ballejos, Luciana C. / Ale, Mariel Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Quality Models / Requirements/Specifications / Verification

AccederDescargar
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: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

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

« Previous 1 2 Next »