Reuse of requirements and specifications - a formal framework

Carlos Paredes, Jose Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

It is claimed that requirements engineering, as a problem of formalization and agreement, can benefit from raising the level of reusability up to functional requirements elicitation and specification levels. At these levels, it is important to support incomplete information in a declarative, reusable and refinable form. For that purpose, a model is proposed which is based on temporal theories, in the logical sense, together with a set of incremental specification techniques formalized through categorical constructions on theories.

Original languageEnglish
Title of host publicationProceedings of the ACM SIGSOFT Symposium on Software Reusability
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages263-266
Number of pages4
ISBN (Print)0897917391
DOIs
Publication statusPublished - 1995
EventProceedings of the ACM SIGSOFT Symposium on Software Reusability - Seattle, WA, USA
Duration: 28 Apr 199530 Apr 1995

Conference

ConferenceProceedings of the ACM SIGSOFT Symposium on Software Reusability
CitySeattle, WA, USA
Period28/04/9530/04/95

Keywords

  • Functional Requirements
  • Formal Specifications
  • Reuse
  • Features
  • Object
  • Theories
  • Categories

Fingerprint Dive into the research topics of 'Reuse of requirements and specifications - a formal framework'. Together they form a unique fingerprint.

  • Cite this

    Paredes, C., & Fiadeiro, J. L. (1995). Reuse of requirements and specifications - a formal framework. In Proceedings of the ACM SIGSOFT Symposium on Software Reusability (pp. 263-266). Association for Computing Machinery (ACM). https://doi.org/10.1145/223427.211857