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
(33)
60
(5)
22
(2)
50
(1)
57
(1)
62
(1)
Show More
Show Less
Author
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Favre, Liliana María
(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)
Show More
Show Less
Subject
Software
(36)
Ciencias Informáticas
(32)
Languages
(8)
Design
(7)
Diseño
(5)
Informática
(5)
SOFTWARE ENGINEERING
(5)
métodos formales
(4)
Aplicación informática
(3)
Facultad de ingeniería
(3)
Show More
Show Less
Year
2012
(16)
2008
(9)
2013
(6)
2017
(6)
2020
(5)
2011
(4)
2018
(4)
2005
(3)
1997
(2)
2001
(2)
Show More
Show Less
Document Type
Sin Especificar
(20)
Tesis
(19)
Artículo
(4)
Show More
Show Less
Language
Español
(43)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software Design
Language:
Español
Sort by
Score
Title
Year
-
31-40 from
43
results
(0.019 seconds)
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:
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:
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:
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:
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:
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:
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:
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:
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
2
3
4
5
Next »