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
(30)
60
(4)
22
(1)
50
(1)
Show More
Show Less
Author
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Garcia, Carlos Diego
(2)
Pons, Claudia
(2)
Abdelahad, Corina
(1)
Aguirre Lora, Diego Camilo
(1)
Aguirre, Jorge
(1)
Aramayo, Adriana Lorena
(1)
Arsaute, Ariel
(1)
Baigorria, Lorena
(1)
Show More
Show Less
Subject
Software
(36)
Ciencias Informáticas
(30)
Languages
(8)
Informática
(5)
SOFTWARE ENGINEERING
(4)
métodos formales
(4)
Aplicación informática
(3)
Facultad de ingeniería
(3)
Ingeniería de sistemas
(3)
Tesis
(3)
Show More
Show Less
Year
2012
(14)
2008
(8)
2013
(6)
2017
(5)
2011
(4)
2005
(3)
2018
(3)
1997
(2)
2001
(2)
2006
(2)
Show More
Show Less
Document Type
Tesis
(18)
Sin Especificar
(17)
Artículo
(1)
Show More
Show Less
Language
Español
(36)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software
Subject:
Software Design
Language:
Español
Sort by
Score
Title
Year
-
11-20 from
36
results
(0.022 seconds)
Title:
El proceso de desarrollo de software basado en modelos
Author:
Pons, Claudia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
desarrollo de software
/
Modelos
/
Models
/
SOFTWARE ENGINEERING
Acceder
Title:
INFORMATIC TOOL FOR THE REMUNERATION OF THE ELECTRICAL ENERGY DISTRIBUTION SERVICE / Herramienta informática para la remuneración del servicio de distribución de energía eléctrica
Author:
Yepes Fernández, Hernán Javier
/
Hernandez Zúñiga, Valery
Language:
Español
Repository:
22
Subject:
Herramienta informática
/
Redes de distribución
/
Remuneración
/
Software
/
Distribution networks
/
Incomes
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:
Hacia la validación de arquitecturas de software usando Alloy
Author:
Novaira, Maria Marta
/
Permigiani, Sonia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
arquitectura
/
Validación
/
Software
/
arquitectura de software
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:
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:
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:
Web authoring tool and repository for learning objects
Author:
Costa, Lucas Ferrari da
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Learning Objects
/
OBAA
/
SCORM
/
e-learning
/
Software
/
Computer Uses in Education
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
« Previous
1
2
3
4
Next »