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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (1773)

Show More Show Less

Author

Simari, Guillermo Ricardo (28)
Montejano, Germán Antonio (27)
Riesco, Daniel Eduardo (25)
García, Alejandro Javier (21)
Baum, Gabriel Alfredo (19)
Pons, Claudia (18)
Aguirre, Jorge (17)
Fillottrani, Pablo Rubén (17)
Arroyo, Marcelo (16)
Chesñevar, Carlos Iván (14)

Show More Show Less

Subject

Ciencias Informáticas (620)
Educación (218)
Humanidades (146)
Languages (145)
Letras (127)
SOFTWARE ENGINEERING (91)
Bellas Artes (84)
Sociología (77)
Ciencias Naturales (60)
Argentina (57)

Show More Show Less

Year

2012 (506)
2020 (351)
2019 (231)
2014 (209)
2016 (198)
2018 (187)
2015 (182)
2017 (174)
2013 (149)
2010 (119)

Show More Show Less

Document Type

Sin Especificar (995)
Artículo (591)
Tesis (165)
Libro (22)

Show More Show Less

Language

Español (1467)
Inglés (254)
Portugués (48)
Francés (3)
Italiano (1)

Show More Show Less

Your search

Repository: 37 Query: FORMAL LANGUAGES

Sort by Score Title Year -

1611-1620 from 1773 results (0.018 seconds)

Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author: Cuaderno, Lucas / Di Lorenzo, Ezequiel / Gaig, Agustín / Garcia, Carlos Diego / Giandini, Roxana Silvia / Ocaranza, Luciana / Pinasco, Claudia Marina / Pons, Claudia / Salvatierra, Facundo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Models / desarrollo dirigido por modelos (MDD) / Software / arquitectura dirigida por modelos (MDA) / Languages / lenguaje unificado de modelado (UML) / lenguaje de especificación formal para objetos (OCL)

Acceder
Title: Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92
Author: Macário, Carla Geovana N. / Borelli, Walter da Cunha / Pedroso, Moacir
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / specification and description languages / object modeling tecniques / especificaçao formal / simulaçao / Specification techniques / Modeling techniques / Object-oriented languages / Simulation

Acceder
Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder
Title: Um ambiente para o processamento de Linguagens Adaptativas de Programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / Programming Languages and Software / adaptive devices / self-modifying devices

Acceder
Title: A Reference Architecture for Ontology Engineering Web Environments / Una arquitectura de referencia para ambientes web de ingeniería ontológica
Author: Braun, Germán / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ontology engineering / software architectures / ingeniería ontológica / arquitecturas de software

Acceder
Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: A Lightweight Approach for the Semantic Validation of Model Refinements
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / model checking / model transformation / modeling / MOF / Object Constraint Language / OCL / refinement / testing / UML / validation

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder

« Previous 158 159 160 161 162 163 164 165 166 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723