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
(8)
Show More
Show Less
Author
Arévalo, Gabriela Beatriz
(2)
Areces, Carlos Eduardo
(1)
Cortés, Humberto
(1)
Estévez, Elsa Clara
(1)
Geiger, Martin Josef
(1)
Gradinarova, Boyka
(1)
Gradinarova, Milena
(1)
Hirsch, Dan Francisco
(1)
Janowski, Tomasz
(1)
Luna, Carlos Daniel
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(8)
Software
(8)
Languages
(3)
Educación
(2)
SOFTWARE ENGINEERING
(2)
Formal Verification
(1)
Graphic Languages
(1)
Heuristic methods
(1)
Inheritance
(1)
Java Web Services
(1)
Show More
Show Less
Year
2012
(8)
2011
(3)
2006
(2)
1995
(1)
1999
(1)
2004
(1)
Show More
Show Less
Document Type
Sin Especificar
(8)
Show More
Show Less
Language
Inglés
(8)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Subject:
Software
Year:
2012
Language:
Inglés
Sort by
Score
Title
Year
-
1-8 from
8
results
(0.023 seconds)
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:
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:
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:
Applying software engineering techniques to the development of robotic systems
Author:
Pons, Claudia
/
Arévalo, Gabriela Beatriz
/
Zabala, Gonzalo
/
Morán, Ricardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
Robotics
Acceder
Title:
Teaching modern heuristics in combinatorial optimization : The example of a demonstration and research tool employing metaheuristics in scheduling
Author:
Geiger, Martin Josef
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Heuristic methods
/
Software
/
Scheduling
/
Optimization
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:
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:
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
« Previous
1
Next »