Labeled Families in Modular Software Development

Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
JournalJournal of the Brazilian Computer Society
Issue number1
Publication statusPublished - 1998


  • Software development
  • formal specifications
  • modularity
  • versions
  • components
  • labeled families
  • implementation
  • pushouts


Dive into the research topics of 'Labeled Families in Modular Software Development'. Together they form a unique fingerprint.

Cite this