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

Query: FORMAL LANGUAGES Subject: Software Design Repository: 37 Language: Español

Sort by Score Title Year -

31-33 from 33 results (0.022 seconds)

Title: Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Author: Cengia, Javier Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Computer-aided software engineering (CASE) / Software process models (e.g., CMM, ISO, PSP)

Acceder
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: “ASLX”: Semantic Analyzer for programming languages based on XML
Author: Buffa, Gabriela Yanel / Pellegrini, Franco Gaston
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Semantics / Extensible Markup Language / Document Type Definition / programming languages

Acceder

« Previous 1 2 3 4 Next »