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 Document Type: Sin Especificar Repository: 37

Sort by Score Title Year -

681-690 from 995 results (0.016 seconds)

Title: A 3D visualization approach to validate requirements
Author: Teyseyre, Alfredo Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Visual / Requirements/Specifications / Graphics / requirements visualization / 3D graphics / requirements / visualization / formal specifications

Acceder
Title: Utilizando contratos de reuso con alloy
Author: Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Ingeniería de Software / Formal methods / Métodos Formales / Teoría de la Computación / Theory of Computation

Acceder
Title: Project line: formally specifying the domain of balanced scorecard
Author: Montejano, Germán Antonio / Uzal, Roberto / Riesco, Daniel Eduardo / Dasso, Aristides / Funes, Ana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / Formal methods / Management / CAM

Acceder
Title: El papel de las TICs en el cambio de paradigma institucional: relato de una experiencia
Author: Kohan, Adrián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / educación no formal / Learning / Computer Uses in Education / movimientos juveniles / Computer science education / democracia / fuente abierta / tikiwiki

Acceder
Title: Ontologías y Semántica en el Proceso de Visualización
Author: Larrea, Martín Leonardo / Escarza, Sebastián / Urribarri, Dana K. / Castro, Silvia Mabel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ontología / Semantics / representación formal / visualización basada en semántica / visualización

Acceder
Title: Construyendo oficio: experiencias laborales de integrantes de una planta social de separación y clasificación de residuos en el CEAMSE
Author: Carenzo, Sebastián / Acevedo, Ramiro / Bárbaro, Julián
Language: Español
Repository: 37
Subject: Sociología / clasificación de residuos / trabajo precario / trabajo formal / plantas sociales / oficio en devenir / industria del reciclado

AccederAcceder
Title: 3D Requirements Visualization
Author: Teyseyre, Alfredo Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Visual / Formal Specifications / Requirements / Visualization / Requirements Visualization / 3D Graphics

Acceder
Title: Framework de evaluación para modelos formales de patrones de diseño
Author: Flores, Andrés P. / Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / Ingeniería de Software / Frameworks / Métodos Formales / Patrones de Diseño / Formal methods

Acceder
Title: Productos como referentes explícitos en el modelado de procesos de negocios
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Real time / Business

Acceder
Title: Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
Author: Aguirre, Fernando / Belloni, Edgardo A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Software development

Acceder

« Previous 65 66 67 68 69 70 71 72 73 Next »