A UML profile to model classifier refinements
- Autores
- Correa, Natalia; Giandini, Roxana Silvia; Pons, Claudia
- Año de publicación
- 2005
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps. Unfortunately, the standard modelling language UML suffers from a lack of notation to specify complex cases of refinement, which hinders the traceability activities. In this article we present a profile of UML to model Classifier refinements as a composition of elementary refinements, allowing for a more precise syntactical specification of the refinement relationship
II Workshop de Ingeniería de Software y Bases de Datos (WISBD)
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Formal methods
software engineering - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23107
Ver los metadatos del registro completo
id |
SEDICI_db36ab0cf24d7252866c98bd33161cc6 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/23107 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
A UML profile to model classifier refinementsCorrea, NataliaGiandini, Roxana SilviaPons, ClaudiaCiencias InformáticasFormal methodssoftware engineeringThe refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps. Unfortunately, the standard modelling language UML suffers from a lack of notation to specify complex cases of refinement, which hinders the traceability activities. In this article we present a profile of UML to model Classifier refinements as a composition of elementary refinements, allowing for a more precise syntactical specification of the refinement relationshipII Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI)2005-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23107enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:07Zoai:sedici.unlp.edu.ar:10915/23107Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:08.083SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
A UML profile to model classifier refinements |
title |
A UML profile to model classifier refinements |
spellingShingle |
A UML profile to model classifier refinements Correa, Natalia Ciencias Informáticas Formal methods software engineering |
title_short |
A UML profile to model classifier refinements |
title_full |
A UML profile to model classifier refinements |
title_fullStr |
A UML profile to model classifier refinements |
title_full_unstemmed |
A UML profile to model classifier refinements |
title_sort |
A UML profile to model classifier refinements |
dc.creator.none.fl_str_mv |
Correa, Natalia Giandini, Roxana Silvia Pons, Claudia |
author |
Correa, Natalia |
author_facet |
Correa, Natalia Giandini, Roxana Silvia Pons, Claudia |
author_role |
author |
author2 |
Giandini, Roxana Silvia Pons, Claudia |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Formal methods software engineering |
topic |
Ciencias Informáticas Formal methods software engineering |
dc.description.none.fl_txt_mv |
The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps. Unfortunately, the standard modelling language UML suffers from a lack of notation to specify complex cases of refinement, which hinders the traceability activities. In this article we present a profile of UML to model Classifier refinements as a composition of elementary refinements, allowing for a more precise syntactical specification of the refinement relationship II Workshop de Ingeniería de Software y Bases de Datos (WISBD) Red de Universidades con Carreras en Informática (RedUNCI) |
description |
The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps. Unfortunately, the standard modelling language UML suffers from a lack of notation to specify complex cases of refinement, which hinders the traceability activities. In this article we present a profile of UML to model Classifier refinements as a composition of elementary refinements, allowing for a more precise syntactical specification of the refinement relationship |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/23107 |
url |
http://sedici.unlp.edu.ar/handle/10915/23107 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260119761453056 |
score |
13.13397 |