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 (163)

Show More Show Less

Author

Simari, Guillermo Ricardo (18)
Chesñevar, Carlos Iván (10)
García, Alejandro Javier (10)
Fillottrani, Pablo Rubén (9)
Pons, Claudia (7)
Martínez, Diego C. (6)
Montejano, Germán Antonio (6)
Riesco, Daniel Eduardo (6)
Cobo, María Laura (5)
Gómez, Sergio Alejandro (5)

Show More Show Less

Subject

Ciencias Informáticas (159)
Languages (30)
SOFTWARE ENGINEERING (28)
ARTIFICIAL INTELLIGENCE (17)
Informática (13)
Multiagent systems (11)
base de datos (11)
Semantics (8)
Software (8)
Educación (7)

Show More Show Less

Year

2012 (130)
2006 (34)
2002 (16)
2019 (10)
1999 (9)
2000 (9)
1998 (8)
2005 (8)
2018 (8)
1997 (7)

Show More Show Less

Document Type

Sin Especificar (163)

Show More Show Less

Language

Inglés (163)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Repository: 37 Language: Inglés

Sort by Score Title Year -

61-70 from 163 results (0.014 seconds)

Title: A synchronous cooperative architecture for the PROSOFT software engineering environment
Author: Quites Reis, Rodrigo / Lima Reis, Carla Alessandra / Nunes, Daltro José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / cooperative software / software enviroment / formal methods / algebraic specification / SOFTWARE ENGINEERING / Computer-supported cooperative work / Programming Environments

Acceder
Title: 3D Requirements Visualization
Author: Teyseyre, Alfredo Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Visual / Formal Specifications / Requirements / Visualization / Requirements Visualization / 3D Graphics

Acceder
Title: Project line: formally specifying the domain of balanced scorecard
Author: Montejano, Germán Antonio / Uzal, Roberto / Riesco, Daniel Eduardo / Dasso, Aristides / Funes, Ana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / Formal methods / Management / CAM

Acceder
Title: A 3D visualization approach to validate requirements
Author: Teyseyre, Alfredo Raúl
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Visual / Requirements/Specifications / Graphics / requirements visualization / 3D graphics / requirements / visualization / formal specifications

Acceder
Title: Capturing the behaviour of inter-agent dialogues
Author: Martínez, Diego C. / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / ARTIFICIAL INTELLIGENCE / abstract argumentation / formal dialogues

Acceder
Title: Acceptability semantics and contextual defeat relations in extended frameworks
Author: Martínez, Diego C. / García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Frameworks / Language Classifications / Model classification / Formal models of communication

Acceder
Title: An experimental tool for checking probabilistic program refinement
Author: Gonzalía, Carlos José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal methods / SOFTWARE ENGINEERING / probabilistic programs / computer verification / refinement checking / trace generation / linear satisfiability checking

Acceder
Title: Calculation of Invariants Assertions
Author: Flaviani, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction

Acceder
Title: A UML profile to model classifier refinements
Author: Correa, Natalia / Giandini, Roxana Silvia / Pons, Claudia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / software engineering / Formal methods

Acceder
Title: Language history : A tale of two countries
Author: Davey, Bill / Parker, Kevin R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Universidades / Lenguajes de Programación

Acceder

« Previous 3 4 5 6 7 8 9 10 11 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