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 Year: 2012 Year: 2000

Sort by Score Title Year -

1-10 from 25 results (0.017 seconds)

Title: Modelización formal y verificación automática de sistemas de tiempo real
Author: Olivero, Alfredo / Gaudiani, Adriana / Maidana, Gabriela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de tiempo-real / Formal models / Real time / Modelización y verificación formal / Herramientas de verificación automática

Acceder
Title: Un modelo formal de patrones orientados a objetos
Author: Cechich, Alejandra / Moore, Richard
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / patterns / SOFTWARE ENGINEERING / Frameworks / métodos formales / orientación a objetos / Formal models

Acceder
Title: A formal model for some behavioural features of analysis patterns
Author: Buccella, Agustina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Pattern analysis / Formal methods

Acceder
Title: Integrating object-oriented modeling techniques with formal specification techniques
Author: Pons, Claudia / Baum, Gabriel Alfredo / Felder, Miguel / Kutsche, Ralf-Detlef / Busse, Susanne
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal Specification Techniques / Object-Oriented Modeling Techniques / Modeling techniques / Specification techniques

Acceder
Title: Towards a programming language based on Prior's metric temporal operators
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Database (persistent) programming languages / Real time

Acceder
Title: Formalizing relations between use cases in the unified modeling language
Author: Giandini, Roxana Silvia / Pons, Claudia / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Semantics / graphical modeling languages / use cases

Acceder
Title: Computational implementation of indices of power
Author: Aguirre, Jesús Francisco / Oviedo, Jorge Amado / Quintas, Luis Guillermo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Scripting languages / Client/server / multi platform / cooperative games theory / computational implementation

Acceder
Title: Aspectos da implementação de um ambiente multilinguagem de programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Environments / Multiparadigm languages

Acceder
Title: Estimación del mantenimiento de programas SQL
Author: Piattini Velthuis, Mario / Calero, Coral / Martínez, Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Base de Datos / Metrics / Software / Languages

Acceder
Title: Un análisis comparativo de lenguajes de consulta para bases de datos temporales
Author: Gómez, Rodolfo / Augusto, Juan Carlos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query languages / Base de Datos

Acceder

« Previous 1 2 3 Next »