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 Subject: Software Design

Sort by Score Title Year -

21-30 from 48 results (0.017 seconds)

Title: Understanding the topologies of innovation networks in knowledge-intensive sectors
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
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
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: Guia comercial de fusagasugá
Author: JULIO CABALLERO, YESID CAMILO
Language: Español
Repository: 50
Subject: Mipyme / Bases de datos / Software / Metodología Iterativa e Incremental / Programación estructurada / Plataforma web

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: Sistema de comercio electrónico para la distribuidora de licores orodi en ambientes web con realidad aumentada en los catálogos de los productos
Author: Umbarila Méndez, Diana Marcela / Romero Rodríguez, Julián Felipe
Language: Español
Repository: 60
Subject: Comercio electrónico / Negocio a negocio / Negocio al consumidor / Realidad aumentada / Aplicación web / Arquitectura / Ejecutable / Negocio electrónico / Red social / Software / Transacción / Electronic commerce / Business to business / Business to consumers / Augmented reality / Tesis / Tesis ingeniería / Facultad de ingeniería / Ingeniería de sistemas / Comercio / Internet / Cibercomercio / Programa de ordenador / Medio social

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

« Previous 1 2 3 4 5 Next »