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
(506)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(27)
Montejano, Germán Antonio
(22)
García, Alejandro Javier
(21)
Riesco, Daniel Eduardo
(21)
Aguirre, Jorge
(17)
Baum, Gabriel Alfredo
(16)
Arroyo, Marcelo
(15)
Chesñevar, Carlos Iván
(14)
Fillottrani, Pablo Rubén
(12)
Pons, Claudia
(12)
Show More
Show Less
Subject
Ciencias Informáticas
(405)
Languages
(114)
SOFTWARE ENGINEERING
(86)
Educación
(42)
ARTIFICIAL INTELLIGENCE
(39)
base de datos
(32)
Letras
(31)
Informática
(30)
Humanidades
(27)
educación
(27)
Show More
Show Less
Year
2012
(506)
2006
(54)
2005
(36)
2002
(31)
2014
(31)
2003
(28)
2000
(26)
2013
(26)
2001
(25)
2004
(23)
Show More
Show Less
Document Type
Sin Especificar
(458)
Artículo
(40)
Tesis
(8)
Show More
Show Less
Language
Español
(343)
Inglés
(136)
Portugués
(27)
Show More
Show Less
Your search
Repository:
37
Query:
FORMAL LANGUAGES
Year:
2012
Sort by
Score
Title
Year
-
231-240 from
506
results
(0.019 seconds)
Title:
Derivando el diseño a partir de especificaciones de requisitos basadas en casos de uso
Author:
Fourcade, Luis Roqué
/
Arakaki, Liliana
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
caso de uso
/
SOFTWARE ENGINEERING
/
Formal models
/
diseño
/
derivación de diseño
/
OOD
/
UML
/
modelado
/
MDA
/
QVT
/
XSLT
Acceder
Title:
Generación de aplicaciones mediante lenguajes especificos de dominio
Author:
Naveda, Claudia
/
Cortez, Alberto
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Formal models
/
MDE
/
modelos
/
Modeling
/
Domain engineering
/
DSL
Acceder
Title:
Adverbios modalizadores: una caracterización
Author:
Alabart Lago, Lucía
/
Díaz, Paula
/
Herrera, Guadalupe
Language:
Español
Repository:
37
Subject:
Humanidades
/
Letras
/
lingüística
/
lingüística formal
/
gramática generativa
/
descripción lingüística
/
sintaxis
/
adverbio
/
modalización
Acceder
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:
Capturing the behaviour of inter-agent dialogues
Author:
Martínez, Diego C.
/
García, Alejandro Javier
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Multiagent systems
/
ARTIFICIAL INTELLIGENCE
/
abstract argumentation
/
formal dialogues
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:
Acceptability semantics and contextual defeat relations in extended frameworks
Author:
Martínez, Diego C.
/
García, Alejandro Javier
/
Simari, Guillermo Ricardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
Frameworks
/
Language Classifications
/
Model classification
/
Formal models of communication
Acceder
Title:
Evaluación de Modelos Conceptuales de Procesos de Negocio
Author:
Salgado, Carlos Humberto
/
Peralta, Mario
/
Berón, Mario
/
Montejano, Germán Antonio
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
procesos de negocio
/
Business
/
Formal models
/
modelos
/
SOFTWARE ENGINEERING
/
conceptuales de procesos de negocios
/
BPMN
Acceder
Title:
Validación de requerimientos a través de modelos conceptuales
Author:
Marciszack, Marcelo Martín
/
Cardenas, Marina E.
/
Pérez, Ramiro
/
Castro, Claudia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
validación
/
SOFTWARE ENGINEERING
/
requerimientos
/
Formal models
/
Requirements/Specifications
/
modelos
/
conceptual
/
especificación
/
trazabilidad
/
software
Acceder
Title:
An experimental tool for checking probabilistic program refinement
Author:
Gonzalía, Carlos José
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Formal methods
/
SOFTWARE ENGINEERING
/
probabilistic programs
/
computer verification
/
refinement checking
/
trace generation
/
linear satisfiability checking
Acceder
« Previous
20
21
22
23
24
25
26
27
28
Next »