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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(33)
Show More
Show Less
Author
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Favre, Liliana María
(2)
Garcia, Carlos Diego
(2)
Pons, Claudia
(2)
Abdelahad, Corina
(1)
Aguirre, Jorge
(1)
Aramayo, Adriana Lorena
(1)
Arsaute, Ariel
(1)
Baigorria, Lorena
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(32)
Software
(30)
Languages
(8)
Informática
(5)
SOFTWARE ENGINEERING
(5)
métodos formales
(4)
Aplicación informática
(3)
Design
(3)
Diseño de software
(2)
Formal methods
(2)
Show More
Show Less
Year
2012
(16)
2008
(9)
2013
(5)
2011
(4)
2005
(3)
1997
(2)
2001
(2)
2002
(2)
2006
(2)
2009
(2)
Show More
Show Less
Document Type
Sin Especificar
(19)
Tesis
(13)
Artículo
(1)
Show More
Show Less
Language
Español
(33)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software Design
Language:
Español
Repository:
37
Sort by
Score
Title
Year
-
11-20 from
33
results
(0.013 seconds)
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
Acceder
Descargar
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:
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:
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:
Desarrollo multiparadigma
Author:
Amaro, Silvia
/
Quiroga, Pablo
/
Reynoso, Luis A.
/
Vaucheret, Claudio A.
/
López, Lidia Marina
/
Dolz, Daniel
/
Granados, Andrea
/
Godoy, Ingrid
/
Sánchez, Viviana
/
Klemen, Maximiliano
/
Pérez, Paola
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
PROGRAMMING LANGUAGES
/
programación multiparadigma
/
Lenguajes de Programación
/
Natural Language Processing
/
dominios complejos
/
orientación a agentes
Acceder
Title:
Ambiente de desarrollo para lengua de señas basado en cloud
Author:
Rodríguez, Nelson R.
/
Valenzuela, Adriana
/
Chávez, Susana Beatriz
/
Martín, Adriana Elizabeth
/
Murazzo, María Antonia
/
Villafañe, Daniela A.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
cloud computing
/
utility computing
/
Lenguaje de Signos
/
Languages
/
lengua de señas
/
Software
/
servicios web
/
SaaS
/
PaaS
Acceder
Title:
Sistema de autenticación de usuarios y validación de llamadas telefónicas
Author:
Britos, José Daniel
/
Kleinerman, Jorge
/
Vargas, Laura
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Asterisk
/
Query languages
/
VoIP
/
Software
/
control de llamadas
/
PBX
Acceder
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
« Previous
1
2
3
4
Next »