Category theory for computing science
Category theory for computing science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Exploiting reusable specifications through analogy
Communications of the ACM
ACM Computing Surveys (CSUR)
VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Software reusability
The three dimensions of requirements engineering: a framework and its applications
CAISE '93 Selected papers from the fifth international conference on Advanced information systems engineering
Integrated Software Reuse: Management and Techniques
Integrated Software Reuse: Management and Techniques
Status Report: Requirements Engineering
IEEE Software
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Constructing reusable specifications through analogy
Proceedings of the 1999 ACM symposium on Applied computing
| Hi-index | 0.00 |
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 refineable 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 categorial constructions on theories.