@inproceedings{0529c82d3d2042b2b3fb5137c2a1b995,
title = "Patterns for activities on formalization based requirements reuse",
abstract = "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.",
keywords = "formalization, patterns, process, requirements reuse, formalization, patterns, process, requirements reuse",
author = "Zheying Zhang and Jyrki Nummenmaa and Jianmei Guo and Jing Ma and Yinglin Wang",
year = "2011",
doi = "10.1007/978-3-642-25661-5\_86",
language = "English",
isbn = "978-3-642-25660-8",
volume = "123",
series = "Advances in Intelligent and Soft Computing",
pages = "695--707",
editor = "Y Wang and T Li",
booktitle = "Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)",
}