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

Show More Show Less

Author

Pons, Claudia (2)
Baum, Gabriel Alfredo (1)
García, Diego (1)
Kutsche, Ralf-Detlef (1)

Show More Show Less

Subject

Ciencias Informáticas (2)
UML (2)
Informática (1)
Ingeniería de software (1)
Lógica dinámica (1)
MOF (1)
OCL (1)
Object Constraint Language (1)
dynamic logic (1)
formal modeling (1)

Show More Show Less

Year

2000 (1)
2004 (1)
2008 (1)
2019 (1)

Show More Show Less

Document Type

Artículo (2)

Show More Show Less

Language

Inglés (2)

Show More Show Less

Your search

Query: MODELING Subject: UML Repository: 37 Document Type: Artículo

Sort by Score Title Year -

1-2 from 2 results (0.011 seconds)

Title: Model evolution and system evolution
Author: Pons, Claudia / Baum, Gabriel Alfredo / Kutsche, Ralf-Detlef
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lógica dinámica / Ingeniería de software / Informática / formal modeling / system evolution / model evolution / dynamic logic / UML

AccederDescargar
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

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723