Practical verification strategy for refinement conditions in UML models

Pons, Claudia et al · SEDICI UNLP · 2006

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Pons, Claudia et al

Editore

SEDICI UNLP

Anno

2006

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

Descripción general del contenido del recurso.

This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process. 1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software Modeling Red de Universidades con Carreras en Informática (RedUNCI)

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Pons, C. E. A. (2006). Practical verification strategy for refinement conditions in UML models. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24040

MLA

Pons, Claudia et al. Practical verification strategy for refinement conditions in UML models. SEDICI UNLP, 2006. http://sedici.unlp.edu.ar/handle/10915/24040.

Chicago

Pons, Claudia et al. 2006. Practical verification strategy for refinement conditions in UML models. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24040.

Harvard

Pons, C. E. A. 2006, Practical verification strategy for refinement conditions in UML models, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/24040 [Accessed 6 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Practical verification strategy for refinement conditions in UML models

Autore / collaboratori: Pons, Claudia et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2006

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; Verification; Language models; UML models