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 Language: Inglés Document Type: Sin Especificar Repository: 37

Sort by Score Title Year -

11-20 from 163 results (0.018 seconds)

Title: Formal analysis of the communication of probabilistic knowledge
Author: Vicari, Rosa / Seixas, Louise / Flores, Cecília / Gluz, João Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal models / Probabilistic computation / Communications Management

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: Properties for a formal model of collaborative dialogue
Author: Marcos, Julieta / Falappa, Marcelo Alejandro / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / Formal models

Acceder
Title: Governance and its complexities: insights from formal and informal urban governance approaches in Kayapura, Papua, Indonesia
Author: Jones, Paul / Suhartini, Ninik
Language: Inglés
Repository: 37
Subject: Arquitectura / Urbanismo / gobierno urbano / Indonesia

Acceder
Title: CAMILA formal software engineering supported by functional programming
Author: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Education and applications of functional programming / functional prototyping / program calculation / SOFTWARE ENGINEERING

Acceder
Title: The role of labelled deductive systems in a formal system for defeasible argumentation
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / defeasible argumentation / labelled deductive systems

Acceder
Title: Formal specifications in component-based development
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software development / base de datos / CBD (Component-based development) / SOFTWARE ENGINEERING / framework / components

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
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

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