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

Sort by Score Title Year -

11-20 from 26 results (0.015 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: An e-learning application based on the semantic web technology
Author: Gradinarova, Boyka / Gradinarova, Milena / Zhelezov, Ognjan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Semantics / Languages / e-learning / Java Web Services

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: Applying software engineering techniques to the development of robotic systems
Author: Pons, Claudia / Arévalo, Gabriela Beatriz / Zabala, Gonzalo / Morán, Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Robotics

Acceder

« Previous 1 2 3 Next »