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
(39)
60
(4)
73
(2)
21
(1)
22
(1)
50
(1)
Show More
Show Less
Author
Pons, Claudia
(3)
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Arévalo, Gabriela Beatriz
(2)
Fontes, M.
(2)
Garcia, Carlos Diego
(2)
Salavisa, I.
(2)
Sousa, C.
(2)
Abdelahad, Corina
(1)
Aguirre Lora, Diego Camilo
(1)
Show More
Show Less
Subject
Software
(48)
Ciencias Informáticas
(39)
Languages
(12)
SOFTWARE ENGINEERING
(6)
Informática
(5)
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
(25)
2008
(8)
2011
(7)
2013
(6)
2017
(5)
2006
(4)
2005
(3)
2018
(3)
1995
(2)
1997
(2)
Show More
Show Less
Document Type
Sin Especificar
(27)
Tesis
(18)
Artículo
(2)
Conferencia
(1)
Show More
Show Less
Language
Español
(36)
Inglés
(11)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software
Sort by
Score
Title
Year
-
1-10 from
48
results
(0.014 seconds)
Title:
Recurso educativo abierto para apoyar el conocimiento de conceptos básicos de la geometría computacional en 2d
Author:
Zambrano Rojas, Leonardo Esteban
Language:
Español
Repository:
60
Subject:
Software educativo
/
Geometría computacional en 2d
/
Programa de ordenador
/
Tesis
/
Tesis ingeniería
/
Facultad de ingeniería
/
Ingeniería de sistemas
/
Software
/
Programación informática
/
Análisis de redes
Acceder
Title:
Automatización del PSPP (proceso de solicitud para producción de pinturas) por medio de un BPMS (business process management system) en la empresa Pintutek
Author:
Aguirre Lora, Diego Camilo
/
López Pérez, Jorge Alejandro
Language:
Español
Repository:
60
Subject:
Automatización de procesos
/
Business process management
/
Optimización de procesos
/
Proceso de negocio
/
Testing
/
Business process
/
Process optimization
/
Process automation
/
Tesis
/
Tesis ingeniería
/
Facultad de ingeniería
/
Ingeniería de sistemas
/
Pintura
/
Gestión
/
Software
Acceder
Title:
Estimación del tamaño funcional del software en la elicitación de requerimientos
Author:
Bertolami, Mabel Angélica
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Aplicación informática
/
Métodos de elicitación
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
Title:
Migrating inheritance-based applications into components
Author:
Passerini, Nicolás
/
Arévalo, Gabriela Beatriz
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Inheritance
/
Software
/
Methodologies (e.g., object-oriented, structured)
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:
Integración de técnicas de análisis de dominio con especificaciones RSL
Author:
Felice, Laura
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
análisis de dominio
/
Domain engineering
/
especificaciones RSL
/
SOFTWARE ENGINEERING
/
Software
/
métodos formales
/
modelos de dominio
/
feature-orientation
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:
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
3
4
5
Next »