Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.

Resultados

10 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
ATR: Template-based repair for alloy specifications
Artículo
Acceso abierto Artículo RI ITBA
Zheng, Guolong et al · RI ITBA · 2023 · ISSN 4503-9379
"Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
ECOLE: a pedagogical environment for non procedural languages
Artículo
Acceso abierto Artículo SEDICI UNLP
Zegour, D. E. et al · SEDICI UNLP · 2007
The work described in this paper is related to three areas in the programming world : logic, functional and object programming. The main objective is essentially pedagogical since it is question here to make a synthesis...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Fortran Refactorings for Legacy Systems
Artículo
Acceso abierto Artículo SEDICI UNLP
Méndez, Mariano · SEDICI UNLP · 2011
This thesis is based on a certain type of legacy software that came from scientific research. Scientists have become one of the most important legacy code producers for many reasons. One of these is long-lived field (abo...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
A pattern language to join early and late requirements
Artículo
Acceso abierto Artículo SEDICI UNLP
Martínez, Alicia et al · SEDICI UNLP · 2005
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Logical foundations and implementation of an extension of temporal logic
Artículo
Acceso abierto Artículo SEDICI UNLP
Cobo, María Laura et al · SEDICI UNLP · 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of t...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
A multi-paradigm approach for mobile agents development
Artículo
Acceso abierto Artículo SEDICI UNLP
Belloni, Edgardo A · SEDICI UNLP · 2001
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of i...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Open modeling and simulation framework for evolutive analysis
Texto / recurso
Material complementario disponible Texto / recurso SEDICI UNLP
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Simulation framework for teaching in modeling and simulation areas
Artículo
Acceso abierto Artículo SEDICI UNLP
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
Simulation is the process of executing a model that describes a system with enough detail; this model has its entities, an internal state, some input and output variables and a list of processes bound to these variables....
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Storage of simulation and entities history in discrete models
Texto / recurso
Material complementario disponible Texto / recurso SEDICI UNLP2 fuentes relacionadas
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
2 fuentes relacionadas
SEDICI UNLP OAI-PMH Idioma: Inglés · Document · Acceso abierto
SEDICI UNLP OAI-PMH Idioma: Inglés · Artículo · Acceso abierto
Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques
Artículo
Acceso abierto Artículo SEDICI UNLP
Dolz, Daniel et al · SEDICI UNLP · 2008
Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework, which provides a full objec...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access