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
(8)
Show More
Show Less
Author
Britos, José Daniel
(1)
Cengia, Javier Andrés
(1)
Fortier, Andrés
(1)
Garcia, Carlos Diego
(1)
Kleinerman, Jorge
(1)
Mauco, Virginia
(1)
Pereira, Claudia Teresa
(1)
Rabey, Eduardo Marcelo
(1)
Rubio, Diego Martín
(1)
Vargas, Laura
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(8)
Software
(8)
Informática
(4)
Aplicación informática
(2)
Diseño de software
(2)
Asterisk
(1)
Computer-aided software engineering (CASE)
(1)
Ingeniería
(1)
Ingeniería Civil
(1)
Ingeniería de software
(1)
Show More
Show Less
Year
2008
(8)
2005
(2)
1997
(1)
2003
(1)
2004
(1)
2006
(1)
2009
(1)
2012
(1)
Show More
Show Less
Document Type
Tesis
(7)
Sin Especificar
(1)
Show More
Show Less
Language
Español
(8)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Subject:
Software
Language:
Español
Year:
2008
Sort by
Score
Title
Year
-
1-8 from
8
results
(0.014 seconds)
Title:
Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Author:
Cengia, Javier Andrés
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Computer-aided software engineering (CASE)
/
Software process models (e.g., CMM, ISO, PSP)
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:
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:
Escenarios en la ingenieria de requerimientos : Un modelo con componentes formales e informales
Author:
Rabey, Eduardo Marcelo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Requirements/Specifications
/
ingeniería de software
/
Software
/
Methodologies
Acceder
Title:
Un enfoque orientado a objetos para software context-aware
Author:
Fortier, Andrés
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
aplicaciones informáticas
/
Object-oriented programming
Acceder
Title:
Una técnica para una especificación inicial en RSL / A technique for an initial specification in RSL
Author:
Mauco, Virginia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Aplicación informática
/
Informática
/
Requerimientos/Especificaciones
Acceder
Title:
Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF
Author:
Garcia, Carlos Diego
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Lenguajes de programación
/
Informática
Acceder
Descargar
Title:
Un proceso definido para la planeación temprana de proyectos de software
Author:
Rubio, Diego Martín
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Informática
/
Diseño de software
Acceder
Descargar
« Previous
1
Next »