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

Query: FORMAL LANGUAGES Subject: Software Design Repository: 37

Sort by Score Title Year -

11-20 from 45 results (0.015 seconds)

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: 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

AccederDescargar
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: 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: 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 4 5 Next »