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

Sort by Score Title Year -

11-20 from 48 results (0.017 seconds)

Title: Un enfoque orientado a objetos para software context-aware
Author: Fortier, Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / aplicaciones informáticas / Object-oriented programming

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: INFORMATIC TOOL FOR THE REMUNERATION OF THE ELECTRICAL ENERGY DISTRIBUTION SERVICE  / Herramienta informática para la remuneración del servicio de distribución de energía eléctrica
Author: Yepes Fernández, Hernán Javier / Hernandez Zúñiga, Valery
Language: Español
Repository: 22
Subject: Herramienta informática / Redes de distribución / Remuneración / Software / Distribution networks / Incomes

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: 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: Cabri's role in the task of proving within the activity of building part of an axiomatic system
Author: Camargo, Leonor / Samper, Carmen / Perry, Patricia
Language: Inglés
Repository: 21
Subject: Geometría (matemáticas superiores) / Software

AccederAcceder
Title: Sistema de información para la administración y control académico en una Institución de Educación Secundaria.
Author: Ávila Gordillo, Álvaro Andrés / Erazo Calderón, Jhonny Franz
Language: Español
Repository: 60
Subject: Sistema de información / Administración y control académico / Módulos / Software / TESIS - FACULTAD DE INGENIERÍA / INGENIERÍA DE SISTEMAS / ENSEÑANZA SECUNDARIA / TECNOLOGÍA DE LA EDUCACIÓN / ORDENADORES ELECTRÓNICOS / PROGRAMAS DE ORDENADORES - 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: 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 »