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

Subject: Software Program Verification Document Type: Sin Especificar Language: Inglés Repository: 37

Sort by Score Title Year -

41-50 from 52 results (0.014 seconds)

Title: Complex electronic voting systems : Adaptation to multi-choice distributed environments
Author: Galdámez, Nicolás / Estrebou, César Armando / Chichizola, Franco / Pasini, Ariel C. / Pesado, Patricia Mabel / De Giusti, Armando Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / electronic vote / distributed environments / multi-election model / Environments / Software

Acceder
Title: Multiplatform application development with for HTML5 smartphones
Author: Petroff, Marcelo / Muñoz Abbate, Horacio / García Martínez, Nicolás / Cambarieri, Mauro / Vivas, Luis
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Smartphone / multiplatform / Free software / Web applications / HTML5 / Software / Applications

Acceder
Title: Managing receiver-based message logging overheads in parallel applications
Author: Meyer, Hugo / Rexachs del Rosario, Dolores / Luque Fadón, Emilio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / fault tolerance / mapping / message / logging / multicore / overheads / Software

Acceder
Title: Classifying software requirement prioritization approaches
Author: Martínez Carod, Nadina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Requirements/Specifications / Engineering

Acceder
Title: Agent for information source location in a dynamic DSS
Author: Mozzati, Carlos / Taverna, María Laura / Caliusco, María Laura / Chiotti, Omar Juan Alfredo / Galli, María Rosa
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Agents / Knowledge Management / Decision Support System / Software / información / Intelligent agents

Acceder
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: 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: 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: 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: 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 »