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
(22)
Show More
Show Less
Author
Montejano, Germán Antonio
(4)
Arévalo, Gabriela Beatriz
(2)
Berón, Mario
(2)
Tarouco, Liane Margarida Rockenbach
(2)
Aguirre, Nazareno Matías
(1)
Albornoz, María Claudia
(1)
Alborodo, Raúl
(1)
Amaolo, Marcelo Paulo
(1)
Amaro, Silvia
(1)
Bast, Silvia Gabriela
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(18)
Languages
(7)
Software
(5)
SOFTWARE ENGINEERING
(4)
Semantics
(2)
ALL-SAT
(1)
Argentina
(1)
Argumentación
(1)
Asignación Universal por Hijo
(1)
COMPUTER GRAPHICS
(1)
Show More
Show Less
Year
2011
(22)
2012
(22)
Show More
Show Less
Document Type
Sin Especificar
(18)
Artículo
(2)
Tesis
(2)
Show More
Show Less
Language
Español
(16)
Inglés
(5)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Year:
2011
Year:
2012
Repository:
37
Sort by
Score
Title
Year
-
1-10 from
22
results
(0.013 seconds)
Title:
Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author:
Luna, Carlos A.
/
Betarte, Gustavo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
escificación formal
/
Semantics
/
Semantics of Programming Languages
/
sistemas críticos
/
modelos de seguridad para dispositivos móviles (MIDP)
/
asistentes de prueba (Coq)
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:
Análisis modular y recuperación de contraejemplos en TACO
Author:
Alborodo, Raúl
/
Ricci, Nicolás
/
Galeotti, Juan P.
/
Aguirre, Nazareno Matías
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software/Program Verification
/
Languages
Acceder
Title:
Metamodeling or profiling: a practical case in the web engineering domain
Author:
Navarro, Antonio
/
Cortés, Humberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Model Development
/
Languages
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:
Sonificación de los datos generados por ATLAS
Author:
Díaz, Francisco Javier
/
Zabaljáuregui, Matías
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Sonido
/
Data
/
Programming Languages and Software
Acceder
Title:
UML para modelagem de objetos de aprendizado
Author:
Canto Filho, Alberto Bastos do
/
Ribas Semeler, Alexandre
/
Zednik Rodrigues, Herik
/
Tarouco, Liane Margarida Rockenbach
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
objetos de aprendizaje
/
Languages
/
Learning
Acceder
Title:
Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author:
Amaolo, Marcelo Paulo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Semantics
/
empresa
/
Languages
/
conocimiento
/
tecnologías semánticas
/
lenguajes de ontologías
/
especificación OMG SBVR
Acceder
Title:
Diseño y construcción de lenguajes específicos del dominio
Author:
Luzza, Mariano
/
Berón, Mario
/
Montejano, Germán Antonio
/
Henriques, Pedro Rangel
/
Pereira, María J.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Lenguaje Específico del Dominio
/
Compiladores
/
Languages
/
Generador de Compiladores
Acceder
Title:
Modelo de desarrollo de interfaces en lenguaje funcional
Author:
Albornoz, María Claudia
/
Necco, Claudia Mónica
/
Montejano, Germán Antonio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Interfaz Gráfica de Usuario (Graphic User Interfaz: GUI)
/
SOFTWARE ENGINEERING
/
programación funcional
/
Languages
/
lenguaje funcional Haskell
/
librerías Gtk2hs y wxHaskell
Acceder
« Previous
1
2
3
Next »