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 | |
| 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
Fingerprint
Dive into the research topics of 'Reuse of requirements and specifications - a formal framework'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver