BDBComp
Parceria:
SBC
Labeled Families in Modular Software Development

Sheila R. M. VelosoPaulo A. S. VelosoJosé L. Fiadeiro

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.

http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001998000200003&lng=e

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD