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
(45)
Show More
Show Less
Author
Pons, Claudia
(3)
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Arévalo, Gabriela Beatriz
(2)
Favre, Liliana María
(2)
Garcia, Carlos Diego
(2)
Montejano, Germán Antonio
(2)
Reynoso, Luis A.
(2)
Riesco, Daniel Eduardo
(2)
Abdelahad, Corina
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(44)
Software
(39)
Languages
(13)
SOFTWARE ENGINEERING
(8)
Design
(6)
Informática
(5)
métodos formales
(4)
Aplicación informática
(3)
Patterns
(3)
informática
(3)
Show More
Show Less
Year
2012
(26)
2008
(10)
2011
(7)
2006
(5)
2013
(5)
2005
(4)
2002
(3)
2004
(3)
1995
(2)
1997
(2)
Show More
Show Less
Document Type
Sin Especificar
(29)
Tesis
(13)
Artículo
(3)
Show More
Show Less
Language
Español
(33)
Inglés
(11)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software Design
Repository:
37
Sort by
Score
Title
Year
-
31-40 from
45
results
(0.016 seconds)
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:
A very early estimation of software development time and effort using neural networks
Author:
Luna, Carlos Daniel
/
Segovia, Javier
/
Salvetto, Pedro F.
/
Martínez, Milton F.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
base de datos
/
SOFTWARE ENGINEERING
/
Neural nets
/
Software
/
Software development
/
Time and Effort
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:
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:
Bisimulation abstraction for selecting software components in RAISE
Author:
Estévez, Elsa Clara
/
Janowski, Tomasz
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Software
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
« Previous
1
2
3
4
5
Next »