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 Language: Inglés

Sort by Score Title Year -

21-30 from 254 results (0.019 seconds)

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: Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
Author: Saraireh, Ja'afer M. al / Saraireh, Saleh S. / Saraireh, Mohammad S. / Nabhan, Mohammad M. al
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Authentication / 3G / Security / mobile station

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

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