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

Sort by Score Title Year -

11-20 from 995 results (0.014 seconds)

Title: Transforming a Business and Information Need Goals’ Ontology into a Formal Specification useful for a Strategy Pattern Recommender System
Author: Rivera, Belén / Becker, Pablo / Olsina Santos, Luis Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business and information / ontology / strategy pattern / recommender system

AccederDescargar
Title: Moodelling of processes and formal methods
Author: Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Formal methods / Languages / Reengineering of processes / Reverse engineering / RAISE language

Acceder
Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: Formal foundations for the unified modeling language
Author: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal foundations / unified modeling language / Languages / SOFTWARE ENGINEERING

Acceder
Title: A runnable functional formal memetic algorithm framework
Author: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda Mariana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Functional Programming / Memetic Algorithm / Combinatorial Optimization / Optimization / Algorithms / Frameworks

Acceder
Title: Building domain specific languages upon the dbject constraint language (DCl)
Author: Domínguez Iglesias, Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Specific languages / Visual / Object Constraint language (DCl) / COMPUTER GRAPHICS / Languages

Acceder
Title: “ASLX”: Semantic Analyzer for programming languages based on XML
Author: Buffa, Gabriela Yanel / Pellegrini, Franco Gaston
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Semantics / Extensible Markup Language / Document Type Definition / programming languages

Acceder
Title: La (re) educación postural en el ámbito formal y no formal
Author: Torres, Andrea Karina
Language: Español
Repository: 37
Subject: Educación Física / Gimnasia / Conciencia corporal / Patrón motor / Acortamiento muscular / Debilitamiento muscular

AccederAcceder
Title: "Los caminos de la diversidad" : El circuito como estrategia de articulación entre la enseñanza formal y no formal
Author: Rey, P. / González, E. / Gutiérrez, Daniel Eduardo / Ramírez, Silvia
Language: Español
Repository: 37
Subject: Humanidades / Educación / enseñanza media / ciencia / diversidad / aprendizaje cooperativo / intercambio

AccederDescargar
Title: Contribuciones para el aprendizaje de las Ciencias de la Tierra, desde un espacio de educación no formal
Author: Bahler, G. / Zabalegui, M. F.
Language: Español
Repository: 37
Subject: Geofísica / Educación / educación no formal / ciencia de la tierra / non-formal education / earth science / educação não-formal / ciências da terra

AccederAcceder

« Previous 1 2 3 4 5 6 7 8 9 Next »