A UML profile to model classifier refinements

Autores
Correa, Natalia; Giandini, Roxana Silvia; Pons, Claudia Fabiana
Año de publicación
2005
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión enviada
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.\nUnfortunately, 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)
Materia
Ciencias Informáticas
software engineering
Formal methods
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
CIC Digital (CICBA)
Institución
Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
OAI Identificador
oai:digital.cic.gba.gob.ar:11746/3551
Acceder
id CICBA_fffc5b27a86f36314e0844f4463e7cfd
oai_identifier_str oai:digital.cic.gba.gob.ar:11746/3551
network_acronym_str CICBA
repository_id_str 9441
network_name_str CIC Digital (CICBA)
spelling A UML profile to model classifier refinementsCorrea, NataliaGiandini, Roxana SilviaPons, Claudia FabianaCiencias Informáticassoftware engineeringFormal methodsThe 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.\nUnfortunately, 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)2005-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/submittedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://digital.cic.gba.gob.ar/handle/11746/3551spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/reponame:CIC Digital (CICBA)instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Airesinstacron:CICBA2025-09-04T09:43:55Zoai:digital.cic.gba.gob.ar:11746/3551Institucionalhttp://digital.cic.gba.gob.arOrganismo científico-tecnológicoNo correspondehttp://digital.cic.gba.gob.ar/oai/snrdmarisa.degiusti@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:94412025-09-04 09:43:56.392CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Airesfalse
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
software engineering
Formal methods
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 Fabiana
author Correa, Natalia
author_facet Correa, Natalia
Giandini, Roxana Silvia
Pons, Claudia Fabiana
author_role author
author2 Giandini, Roxana Silvia
Pons, Claudia Fabiana
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
software engineering
Formal methods
topic Ciencias Informáticas
software engineering
Formal methods
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.\nUnfortunately, 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)
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.\nUnfortunately, 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/submittedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str submittedVersion
dc.identifier.none.fl_str_mv https://digital.cic.gba.gob.ar/handle/11746/3551
url https://digital.cic.gba.gob.ar/handle/11746/3551
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:CIC Digital (CICBA)
instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron:CICBA
reponame_str CIC Digital (CICBA)
collection CIC Digital (CICBA)
instname_str Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron_str CICBA
institution CICBA
repository.name.fl_str_mv CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
repository.mail.fl_str_mv marisa.degiusti@sedici.unlp.edu.ar
_version_ 1842340440598118400
score 12.623145

Publicaciones similares