OPAC

Your search

Subject: Software Program Verification Year: 2015 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 22 results (0.013 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: 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: Informe final de práctica empresarial - Asesor de mercadeo en Pacific E-Solution Private Limited
Author: Zambrano Zambrano, Diego Antonio
Language: Español
Repository: 40
Subject: Aprendizaje de idiomas / Bilingüismo / Contenidos para página web / Software / Educación bilingüe / Lenguaje y educación / Oficina - Práctica / Prácticas universitarias

Acceder
Title: Construcción de una metodología para la priorización y selección de nuevos requerimientos a implementar en software en etapa de mantenimiento
Author: De Federico, Sara / Sincosky, Noelia / Avogradini, Mariela / Moschetti, Diana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Metodología / empresa / Software

Acceder
Title: Avaliação de ferramentas de apoio a melhoria de processos de software em micro e pequenas empresas
Author: Carvalho, Denis R. de / Braga, José Luis
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Software / Software quality assurance (SQA)

AccederDescargar
Title: Datasheet Modeler: una herramienta de soporte para el desarrollo de funcionalidades en LPS
Author: Mancuso, Mailen / Buccella, Agustina / Cechich, Alejandra / Arias, Maximiliano / Pol'la, Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / líneas de producto de software / gestion de variabilidad / herramientas de software

Acceder
Title: MDE en la generación de aplicaciones para repositorios institucionales
Author: Texier, José / De Giusti, Marisa Raquel / Gordillo, Silvia Ethel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SEDICI / Data warehouse and repository / DSpace / Software / repositorios institucionales

AccederDescargar
Title: Toma de decisiones estratégicas soportadas por un modelo de optimización que integra la manufactura y distribución en una compañía química global
Author: Martínez Flores, José Luis / Carreón Martínez, Oscar Iván / Sánchez Partida, Diana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Toma de Decisiones / Optimization / Software

AccederDescargar

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search