Tampere University of Technology

TUTCRIS Research Portal

Patterns for activities on formalization based requirements reuse

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationKnowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)
Number of pages13
Publication statusPublished - 2011
Publication typeA4 Article in a conference publication

Publication series

NameAdvances in Intelligent and Soft Computing
ISSN (Print)18675662


This paper aims at specifying procedures and patterns for developing high-quality reusable requirements and for engineering new requirements documents with reuse. Formalization of the requirements is a promising approach to validating requirements in the reuse process. It improves the consistency, correctness, and completeness of reusable requirements. This paper reviews the current research on reuse and requirements formalization. Based on a strategy that introduces formalization into systematic requirements reuse, we present patterns for activities on formalization-based requirements reuse.

ASJC Scopus subject areas


  • formalization, patterns, process, requirements reuse