Labeled Families in Modular Software Development

Detalhes bibliográficos
Autor(a) principal: Veloso,Sheila R. M.
Data de Publicação: 1998
Outros Autores: Veloso,Paulo A. S., Fiadeiro,José L.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Journal of the Brazilian Computer Society
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001998000200003
Resumo: We present a general framework for the modular development of families of programs or specifications through the use of labels. Families, consisting of components or versions, appear naturally in software development. The concept of implementation, as an interpretation into a conservative extension, is generalized to labeled families of specifications and formulated in categorical terms. We also show that the category of such families has pushouts and that this construction preserves conservative extensions, as required for composing implementations.
id UFRGS-28_b9a280c223bae9bbe26c4cc1b388e5b7
oai_identifier_str oai:scielo:S0104-65001998000200003
network_acronym_str UFRGS-28
network_name_str Journal of the Brazilian Computer Society
repository_id_str
spelling Labeled Families in Modular Software DevelopmentSoftware developmentformal specificationsmodularityversionscomponentslabeled familiesimplementationpushoutsWe present a general framework for the modular development of families of programs or specifications through the use of labels. Families, consisting of components or versions, appear naturally in software development. The concept of implementation, as an interpretation into a conservative extension, is generalized to labeled families of specifications and formulated in categorical terms. We also show that the category of such families has pushouts and that this construction preserves conservative extensions, as required for composing implementations.Sociedade Brasileira de Computação1998-07-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001998000200003Journal of the Brazilian Computer Society v.5 n.1 1998reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1590/S0104-65001998000200003info:eu-repo/semantics/openAccessVeloso,Sheila R. M.Veloso,Paulo A. S.Fiadeiro,José L.eng1998-12-21T00:00:00Zoai:scielo:S0104-65001998000200003Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:1998-12-21T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false
dc.title.none.fl_str_mv Labeled Families in Modular Software Development
title Labeled Families in Modular Software Development
spellingShingle Labeled Families in Modular Software Development
Veloso,Sheila R. M.
Software development
formal specifications
modularity
versions
components
labeled families
implementation
pushouts
title_short Labeled Families in Modular Software Development
title_full Labeled Families in Modular Software Development
title_fullStr Labeled Families in Modular Software Development
title_full_unstemmed Labeled Families in Modular Software Development
title_sort Labeled Families in Modular Software Development
author Veloso,Sheila R. M.
author_facet Veloso,Sheila R. M.
Veloso,Paulo A. S.
Fiadeiro,José L.
author_role author
author2 Veloso,Paulo A. S.
Fiadeiro,José L.
author2_role author
author
dc.contributor.author.fl_str_mv Veloso,Sheila R. M.
Veloso,Paulo A. S.
Fiadeiro,José L.
dc.subject.por.fl_str_mv Software development
formal specifications
modularity
versions
components
labeled families
implementation
pushouts
topic Software development
formal specifications
modularity
versions
components
labeled families
implementation
pushouts
description We present a general framework for the modular development of families of programs or specifications through the use of labels. Families, consisting of components or versions, appear naturally in software development. The concept of implementation, as an interpretation into a conservative extension, is generalized to labeled families of specifications and formulated in categorical terms. We also show that the category of such families has pushouts and that this construction preserves conservative extensions, as required for composing implementations.
publishDate 1998
dc.date.none.fl_str_mv 1998-07-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001998000200003
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001998000200003
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1590/S0104-65001998000200003
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Computação
publisher.none.fl_str_mv Sociedade Brasileira de Computação
dc.source.none.fl_str_mv Journal of the Brazilian Computer Society v.5 n.1 1998
reponame:Journal of the Brazilian Computer Society
instname:Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
instname_str Sociedade Brasileira de Computação (SBC)
instacron_str UFRGS
institution UFRGS
reponame_str Journal of the Brazilian Computer Society
collection Journal of the Brazilian Computer Society
repository.name.fl_str_mv Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)
repository.mail.fl_str_mv jbcs@icmc.sc.usp.br
_version_ 1754734669512835072

Registros relacionados