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

Year: 2012 Subject: Java Modeling Language (JML)

Sort by Score Title Year -

31-40 from 46 results (0.04 seconds)

Title: P♤ : A process algebra for modeling prioritized stochastic timed systems (extended abstract)
Author: Domínguez, Martín Ariel / Saiz, Gerardo Javier / D'Argenio, Pedro R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Process Algebra / Prioritized Stochastic / Modeling / Stochastic processes

Acceder
Title: An O(1) solution to the prefix sum problem on a specialized memory architecture
Author: Brodnik, Andrej / Karlsson, Johan / Munro, J. Ian / Nilsson, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / random access machine (RAM) / Modeling / Bounded-action devices (e.g., Turing machines, random access machines)

Acceder
Title: Engineering modular web-based education systems to support EML units of learning
Author: Caeiro Rodríguez, Manuel / Anido Rifón, Luis / Lamas Nistal, Martín
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Modeling / Languages

Acceder
Title: Herramienta para la enseñanza de Modelado Conceptual de Bases de Datos
Author: Bertone, Rodolfo Alfredo / Thomas, Pablo Javier / Antonietti, María Soledad
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Modeling / herramienta educacional / Design / modelo de entidades y relaciones

Acceder
Title: An empirical evaluation for business process tools
Author: Nieto Ariza, Erika M. / Rodríguez Ortiz, Guillermo / Ortíz Hernández, Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Modeling

Acceder
Title: Defining the proxy design pattern using UML profile
Author: Garis, Ana Gabriela / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML profiles / OCL / metamodels / Languages / Modeling / Patterns / Design

Acceder
Title: Modelo de aplicaciones con procesos concurrentes y distribuidos
Author: Giulianelli, Daniel Alberto / Rodríguez, Rocío Andrea / Vera, Pablo Martín
Language: Español
Repository: 37
Subject: Ciencias Informáticas / procesos concurrentes / Modeling / software / Ingeniería / procesos distribuidos / diagramas

Acceder
Title: Construção de padrões para a modelagem de aspectos temporais
Author: Simonetto, Eugênio de Oliveira / Poll, Carlos / Kroth, Eduardo
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Patterns / Modeling / modelagem tempora / orientação à objetos / engenharia de software

Acceder
Title: Implementação de um banco de dados temporal utilizando o modelo orientado a objeto TF-ORM
Author: Bittencourt, Rogério Gonçalves / Tonial, Fernando
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Modeling / Base de Datos

Acceder
Title: Modelado y simulación de un sitio de comercio electrónico : Evaluación de dos herramientas para la predicción de la performance
Author: Tymoschuk, Ana Rosa / Pighin, Gabriel G. / Vega, Jorge R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Simulation / simulación / herramientas / Modeling / modelización / Performance / negocios electrónicos / herramientas de predicción de performance / SOFTWARE ENGINEERING

Acceder

« Previous 1 2 3 4 5 Next »