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
(13)
60
(4)
50
(1)
Show More
Show Less
Author
Aguirre Lora, Diego Camilo
(1)
Aramayo, Adriana Lorena
(1)
Bertolami, Mabel Angélica
(1)
Cengia, Javier Andrés
(1)
Díaz, Javier Roberto
(1)
Erazo Calderón, Jhonny Franz
(1)
Felice, Laura
(1)
Fortier, Andrés
(1)
Garcia, Carlos Diego
(1)
JULIO CABALLERO, YESID CAMILO
(1)
Show More
Show Less
Subject
Software
(18)
Ciencias Informáticas
(13)
Informática
(4)
Aplicación informática
(3)
Facultad de ingeniería
(3)
Ingeniería de sistemas
(3)
Tesis
(3)
Tesis ingeniería
(3)
Diseño de software
(2)
Ingeniería de software
(2)
Show More
Show Less
Year
2008
(7)
2017
(5)
2013
(3)
2018
(3)
2005
(2)
2011
(2)
2015
(2)
1997
(1)
2001
(1)
2003
(1)
Show More
Show Less
Document Type
Tesis
(18)
Show More
Show Less
Language
Español
(18)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software
Document Type:
Tesis
Sort by
Score
Title
Year
-
1-10 from
18
results
(0.016 seconds)
Title:
Verificación formal y refinamientos en P/PML
Author:
Díaz, Javier Roberto
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
verificación formal
/
Verification
/
Software
/
lógica de programacion
/
derivación de programas
/
métodos formales
Acceder
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:
Una herramienta para identificar crosscutting concerns a través de LEL
Author:
Aramayo, Adriana Lorena
/
Rossi, Joaquín Ignacio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
análisis de dominio
/
Languages
/
Software
/
característica transversal
/
código enmarañado
/
código disperso
/
léxico extendido del lenguaje
/
usabilidad
/
accesibilidad
/
aplicación web
Acceder
Title:
Guia comercial de fusagasugá
Author:
JULIO CABALLERO, YESID CAMILO
Language:
Español
Repository:
50
Subject:
Mipyme
/
Bases de datos
/
Software
/
Metodología Iterativa e Incremental
/
Programación estructurada
/
Plataforma web
Acceder
Title:
Sistema de comercio electrónico para la distribuidora de licores orodi en ambientes web con realidad aumentada en los catálogos de los productos
Author:
Umbarila Méndez, Diana Marcela
/
Romero Rodríguez, Julián Felipe
Language:
Español
Repository:
60
Subject:
Comercio electrónico
/
Negocio a negocio
/
Negocio al consumidor
/
Realidad aumentada
/
Aplicación web
/
Arquitectura
/
Ejecutable
/
Negocio electrónico
/
Red social
/
Software
/
Transacción
/
Electronic commerce
/
Business to business
/
Business to consumers
/
Augmented reality
/
Tesis
/
Tesis ingeniería
/
Facultad de ingeniería
/
Ingeniería de sistemas
/
Comercio
/
Internet
/
Cibercomercio
/
Programa de ordenador
/
Medio social
Acceder
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:
Sistema de información para la administración y control académico en una Institución de Educación Secundaria.
Author:
Ávila Gordillo, Álvaro Andrés
/
Erazo Calderón, Jhonny Franz
Language:
Español
Repository:
60
Subject:
Sistema de información
/
Administración y control académico
/
Módulos
/
Software
/
TESIS - FACULTAD DE INGENIERÍA
/
INGENIERÍA DE SISTEMAS
/
ENSEÑANZA SECUNDARIA
/
TECNOLOGÍA DE LA EDUCACIÓN
/
ORDENADORES ELECTRÓNICOS
/
PROGRAMAS DE ORDENADORES - SOFTWARE
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:
Mejora de procesos como soporte a prácticas de gobierno electrónico
Author:
Luzuriaga, Juan Manuel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Ingeniería de software
/
Tecnología de la Información
/
Software
Acceder
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
« Previous
1
2
Next »