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
(26)
Show More
Show Less
Author
Pons, Claudia
(3)
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Arévalo, Gabriela Beatriz
(2)
Favre, Liliana María
(2)
Montejano, Germán Antonio
(2)
Riesco, Daniel Eduardo
(2)
Abdelahad, Corina
(1)
Aguirre, Jorge
(1)
Areces, Carlos Eduardo
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(26)
Software
(23)
Languages
(11)
SOFTWARE ENGINEERING
(6)
Design
(3)
informática
(3)
Educación
(2)
Formal methods
(2)
Models
(2)
Neural nets
(2)
Show More
Show Less
Year
2012
(26)
2011
(5)
2006
(4)
1995
(2)
1999
(2)
2002
(2)
2008
(2)
1997
(1)
1998
(1)
2000
(1)
Show More
Show Less
Document Type
Sin Especificar
(26)
Show More
Show Less
Language
Español
(16)
Inglés
(9)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software Design
Repository:
37
Year:
2012
Sort by
Score
Title
Year
-
21-26 from
26
results
(0.017 seconds)
Title:
Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author:
Cuaderno, Lucas
/
Di Lorenzo, Ezequiel
/
Gaig, Agustín
/
Garcia, Carlos Diego
/
Giandini, Roxana Silvia
/
Ocaranza, Luciana
/
Pinasco, Claudia Marina
/
Pons, Claudia
/
Salvatierra, Facundo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Models
/
desarrollo dirigido por modelos (MDD)
/
Software
/
arquitectura dirigida por modelos (MDA)
/
Languages
/
lenguaje unificado de modelado (UML)
/
lenguaje de especificación formal para objetos (OCL)
Acceder
Title:
From boxes to worlds
Author:
Hirsch, Dan Francisco
/
Areces, Carlos Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software Design
/
Graphic Languages
/
Modal Logics
/
Formal Verification
/
Languages
/
Software
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:
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:
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:
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
« Previous
1
2
3
Next »