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 Document Type: Sin Especificar Language: Español

Sort by Score Title Year -

11-20 from 20 results (0.018 seconds)

Title: Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Author: Uva, Marcelo / Frutos, Mariana / Gonzaléz, Ariel / Arsaute, Ariel / Daniele, Marcela / Martellotto, Paola / Zorzán, Fabio Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Model Driven Architecture (MDA) / Languages / Java Modeling Language (JML) / refactorización

Acceder
Title: Estimación del mantenimiento de programas SQL
Author: Piattini Velthuis, Mario / Calero, Coral / Martínez, Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Base de Datos / Metrics / Software / Languages

Acceder
Title: Desarrollo de software de apoyo a la enseñanza de la teoría de lenguajes y autómatas y al diseño de compliladores
Author: Aguirre, Jorge / Arroyo, Marcelo / Grinspan, Valentina
Language: Español
Repository: 37
Subject: Ciencias Informáticas / enseñanza / Enseñanza de la Teoría de Lenguajes / Software / Languages / Software de Apoyo / informática / educación / Diseño de Compliladores

Acceder
Title: Interoperabilidad de componentes software mediante lenguajes de coordinación
Author: Amaro, Silvia / Martínez Carod, Nadina / Pimentel, Ernesto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / Software / Componentes Software / Languages / Lenguajes de Coordinación / SOFTWARE ENGINEERING / Interoperabilidad

Acceder
Title: Definición del diseño orientado a aspectos según el metamodelo de la OMG
Author: Abdelahad, Corina / Riesco, Daniel Eduardo / Baigorria, Lorena / Perez, Norma
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented Programming / Standards / Software / Languages

Acceder
Title: Análisis estático de programas
Author: Arroyo, Marcelo / Bavera, Francisco / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / informática / Software / Formal Definitions and Theory / CODING AND INFORMATION THEORY

Acceder
Title: Un método riguroso para la reusabilidad de software orientado a objetos
Author: Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / reusabilidad / Software / Data models / especificaciones algebraicas / programación transfonnacional / programación orientada a objetos

Acceder
Title: Web authoring tool and repository for learning objects
Author: Costa, Lucas Ferrari da
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Learning Objects / OBAA / SCORM / e-learning / Software / Computer Uses in Education

Acceder
Title: Hacia la validación de arquitecturas de software usando Alloy
Author: Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / arquitectura / Validación / Software / arquitectura de software

Acceder
Title: El proceso de desarrollo de software basado en modelos
Author: Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / desarrollo de software / Modelos / Models / SOFTWARE ENGINEERING

Acceder

« Previous 1 2 Next »