Labeled Families in Modular Software Development

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

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume5
Issue number1
DOIs
Publication statusPublished - 1998

Keywords

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

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

Cite this