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 Document Type: Tesis Repository: 37 Subject: Software

Sort by Score Title Year -

1-10 from 13 results (0.016 seconds)

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: 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: Una herramienta para identificar crosscutting concerns a través de LEL
Author: Aramayo, Adriana Lorena / Rossi, Joaquín Ignacio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis de dominio / Languages / Software / característica transversal / código enmarañado / código disperso / léxico extendido del lenguaje / usabilidad / accesibilidad / aplicación web

Acceder
Title: Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Author: Rosenfeld, Ilan
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Modeling techniques / Alloy / desarrollo de software dirigido por modelos / Software / pruebas de software dirigidas por modelos / traducción de código / UML

Acceder
Title: Formalización de refactorings en el contexto de MDA
Author: Pereira, Claudia Teresa
Language: Español
Repository: 37
Subject: Ingeniería / Ingeniería Civil / Ciencias Informáticas / Software / Informática / Aplicación informática / Ingeniería de software / Lenguajes / Diseño de software

AccederDescargar
Title: Mejora de procesos como soporte a prácticas de gobierno electrónico
Author: Luzuriaga, Juan Manuel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Ingeniería de software / Tecnología de la Información / Software

Acceder
Title: Escenarios en la ingenieria de requerimientos : Un modelo con componentes formales e informales
Author: Rabey, Eduardo Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / ingeniería de software / Software / Methodologies

Acceder
Title: Un enfoque orientado a objetos para software context-aware
Author: Fortier, Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / aplicaciones informáticas / Object-oriented programming

Acceder
Title: Integración de técnicas de análisis de dominio con especificaciones RSL
Author: Felice, Laura
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis de dominio / Domain engineering / especificaciones RSL / SOFTWARE ENGINEERING / Software / métodos formales / modelos de dominio / feature-orientation

Acceder
Title: Una técnica para una especificación inicial en RSL / A technique for an initial specification in RSL
Author: Mauco, Virginia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Aplicación informática / Informática / Requerimientos/Especificaciones

Acceder

« Previous 1 2 Next »