OPAC

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

Your search

Repository: 37 Query: FORMAL LANGUAGES Subject: Software Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 26 results (0.014 seconds)

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: 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: 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: 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: 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: Web authoring tool and repository for learning objects
Author: Costa, Lucas Ferrari da
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Learning Objects / OBAA / SCORM / e-learning / Software / Computer Uses in Education

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: Análisis estático de programas
Author: Arroyo, Marcelo / Bavera, Francisco / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / informática / Software / Formal Definitions and Theory / CODING AND INFORMATION THEORY

Acceder
Title: Un método riguroso para la reusabilidad de software orientado a objetos
Author: Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / reusabilidad / Software / Data models / especificaciones algebraicas / programación transfonnacional / programación orientada a objetos

Acceder

« Previous 1 2 3 Next »