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 Year: 2016 Language: Inglés Document Type: Sin Especificar

Sort by Score Title Year -

1-2 from 2 results (0.01 seconds)

Title: A Demonstration of compilability for UML template instances
Author: Farinha, José
Language: Inglés
Repository: 73
Subject: UML / Templates / Verification / Compilability / Activities / Generic programming / Software patterns

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

« Previous 1 Next »