Labeled Families in Modular Software Development
Autor(a) principal: | |
---|---|
Data de Publicação: | 1998 |
Outros Autores: | , |
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 |