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

Sort by Score Title Year -

1-10 from 45 results (0.014 seconds)

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
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: Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
Author: Montejano, Germán Antonio / Testa, Oscar / Garcia, Pablo / Bast, Silvia Gabriela / Berón, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / COMPUTER GRAPHICS / RAISE / Software / RSL / servicios web / framework / infraestructura / métodos formales / programación orientada a servicios / computación orientada a servicios / arquitectura orientada a servicios

Acceder
Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: A pattern language to join early and late requirements
Author: Martínez, Alicia / Pastor López, Oscar / Estrada, Hugo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programming Languages and Software / Patterns / Design

AccederDescargar
Title: Defining the proxy design pattern using UML profile
Author: Garis, Ana Gabriela / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML profiles / OCL / metamodels / Languages / Modeling / Patterns / Design

Acceder
Title: E-Machines
Author: Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Diseños Reusables / SOFTWARE ENGINEERING / Ingeniería de Software / Formal methods / Design / Métodos Formales / Evolución de Diseño

Acceder
Title: Diseñar en Producción Pública de Medicamentos : Cuando el objetivo es un bien social / Design in Public Production of Medicines: When the Objective is a Social Asset
Author: Madonia, María Gabriela
Language: Español
Repository: 37
Subject: Comunicación Visual / Estado / Diseño / Tecnología / Producción / Salud / State / Design / Technology / Production / Health

Acceder
Title: Component-based tool for verifying applications using object-oriented patterns
Author: Reynoso, Luis A. / Buccella, Agustina / Flores, Andrés P. / Aranda, Gabriela N.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / object-oriented design / Design / Patterns (e.g., client/server, pipeline, blackboard) / SOFTWARE ENGINEERING

AccederDescargar

« Previous 1 2 3 4 5 Next »