Reuse of requirements and specifications - a formal framework

Carlos Paredes; Jose Luiz Fiadeiro

doi:10.1145/223427.211857

Reuse of requirements and specifications - a formal framework

Carlos Paredes, Jose Luiz Fiadeiro

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the ACM SIGSOFT Symposium on Software Reusability
Place of Publication	New York
Publisher	Association for Computing Machinery (ACM)
Pages	263-266
Number of pages	4
ISBN (Print)	0897917391
DOIs	https://doi.org/10.1145/223427.211857
Publication status	Published - 1995
Event	Proceedings of the ACM SIGSOFT Symposium on Software Reusability - Seattle, WA, USA Duration: 28 Apr 1995 → 30 Apr 1995

Conference

Conference	Proceedings of the ACM SIGSOFT Symposium on Software Reusability
City	Seattle, WA, USA
Period	28/04/95 → 30/04/95

Keywords

Functional Requirements
Formal Specifications
Reuse
Features
Object
Theories
Categories

ASJC Scopus subject areas

General Engineering

Access to Document

10.1145/223427.211857

Cite this

@inproceedings{80d5c9e66c024499a3678bc196ce6f55,

title = "Reuse of requirements and specifications - a formal framework",

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.",

keywords = "Functional Requirements, Formal Specifications, Reuse, Features, Object, Theories, Categories",

author = "Carlos Paredes and Fiadeiro, {Jose Luiz}",

year = "1995",

doi = "10.1145/223427.211857",

language = "English",

isbn = "0897917391",

pages = "263--266",

booktitle = "Proceedings of the ACM SIGSOFT Symposium on Software Reusability",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "Proceedings of the ACM SIGSOFT Symposium on Software Reusability ; Conference date: 28-04-1995 Through 30-04-1995",

}

TY - GEN

T1 - Reuse of requirements and specifications - a formal framework

AU - Paredes, Carlos

AU - Fiadeiro, Jose Luiz

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

KW - Functional Requirements

KW - Formal Specifications

KW - Reuse

KW - Features

KW - Object

KW - Theories

KW - Categories

UR - http://www.scopus.com/inward/record.url?scp=0029179461&partnerID=8YFLogxK

U2 - 10.1145/223427.211857

DO - 10.1145/223427.211857

M3 - Conference contribution

AN - SCOPUS:0029179461

SN - 0897917391

SP - 263

EP - 266

BT - Proceedings of the ACM SIGSOFT Symposium on Software Reusability

PB - Association for Computing Machinery (ACM)

CY - New York

T2 - Proceedings of the ACM SIGSOFT Symposium on Software Reusability

Y2 - 28 April 1995 through 30 April 1995

ER -

Reuse of requirements and specifications - a formal framework

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this