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
(23)
73
(2)
Show More
Show Less
Author
Pons, Claudia
(3)
Amaro, Silvia
(2)
Arroyo, Marcelo
(2)
Arévalo, Gabriela Beatriz
(2)
Fontes, M.
(2)
Salavisa, I.
(2)
Sousa, C.
(2)
Abdelahad, Corina
(1)
Aguirre, Jorge
(1)
Areces, Carlos Eduardo
(1)
Show More
Show Less
Subject
Software
(25)
Ciencias Informáticas
(23)
Languages
(10)
SOFTWARE ENGINEERING
(5)
informática
(3)
Biotechnology
(2)
Educación
(2)
Formal network
(2)
Informal network
(2)
Innovation network
(2)
Show More
Show Less
Year
2012
(25)
2011
(5)
2006
(3)
1995
(2)
1999
(2)
1997
(1)
1998
(1)
2000
(1)
2001
(1)
2002
(1)
Show More
Show Less
Document Type
Sin Especificar
(24)
Artículo
(1)
Show More
Show Less
Language
Español
(14)
Inglés
(10)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Subject:
Software Design
Subject:
Software
Year:
2012
Sort by
Score
Title
Year
-
1-10 from
25
results
(0.019 seconds)
Title:
Topologies of innovation networks in knowledge-intensive sectors: Sectoral differences in the access to knowledge and complementary assets through formal and informal ties
Author:
Salavisa, I.
/
Sousa, C.
/
Fontes, M.
Language:
Inglés
Repository:
73
Subject:
Innovation network
/
Social network
/
Formal network
/
Informal network
/
Knowledge-intensive sector
/
Biotechnology
/
Software
Acceder
Acceder
Acceder
Title:
Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
Author:
Montejano, Germán Antonio
/
Testa, Oscar
/
Garcia, Pablo
/
Bast, Silvia Gabriela
/
Berón, Mario
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
COMPUTER GRAPHICS
/
RAISE
/
Software
/
RSL
/
servicios web
/
framework
/
infraestructura
/
métodos formales
/
programación orientada a servicios
/
computación orientada a servicios
/
arquitectura orientada a servicios
Acceder
Title:
From boxes to worlds
Author:
Hirsch, Dan Francisco
/
Areces, Carlos Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software Design
/
Graphic Languages
/
Modal Logics
/
Formal Verification
/
Languages
/
Software
Acceder
Title:
Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author:
Cuaderno, Lucas
/
Di Lorenzo, Ezequiel
/
Gaig, Agustín
/
Garcia, Carlos Diego
/
Giandini, Roxana Silvia
/
Ocaranza, Luciana
/
Pinasco, Claudia Marina
/
Pons, Claudia
/
Salvatierra, Facundo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Models
/
desarrollo dirigido por modelos (MDD)
/
Software
/
arquitectura dirigida por modelos (MDA)
/
Languages
/
lenguaje unificado de modelado (UML)
/
lenguaje de especificación formal para objetos (OCL)
Acceder
Title:
Um software para auxílio a aprendizagem de linguagens regulares
Author:
Raabe, André Luís Alice
/
Dognini, Marlon José
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
tecnología
/
informática
/
Environments
/
educación
/
Languages
/
Education
/
Ambientes Interativos de Aprendizagem
/
Linguagens Regulares
/
Linguagens Formais
/
Software Educacional
/
Interactive Learning Environments
/
Regular Languages
/
Educational Software
Acceder
Title:
Metamodeling or profiling: a practical case in the web engineering domain
Author:
Navarro, Antonio
/
Cortés, Humberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Model Development
/
Languages
Acceder
Title:
Evaluación de herramientas para la construcción de aplicaciones colaborativas
Author:
Queiruga, Claudia Alejandra
/
Banchoff Tzancoff, Claudia M.
/
Díaz, Francisco Javier
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
Software
/
redes de datos
/
PROGRAMMING LANGUAGES
/
internet
/
Neural nets
Acceder
Title:
Sistema de autenticación de usuarios y validación de llamadas telefónicas
Author:
Britos, José Daniel
/
Kleinerman, Jorge
/
Vargas, Laura
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Asterisk
/
Query languages
/
VoIP
/
Software
/
control de llamadas
/
PBX
Acceder
Title:
An e-learning application based on the semantic web technology
Author:
Gradinarova, Boyka
/
Gradinarova, Milena
/
Zhelezov, Ognjan
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Software
/
Semantics
/
Languages
/
e-learning
/
Java Web Services
Acceder
Title:
Estimación del mantenimiento de programas SQL
Author:
Piattini Velthuis, Mario
/
Calero, Coral
/
Martínez, Antonio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Base de Datos
/
Metrics
/
Software
/
Languages
Acceder
« Previous
1
2
3
Next »