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

Standard

Patterns for activities on formalization based requirements reuse. / Zhang, Zheying; Nummenmaa, Jyrki; Guo, Jianmei; Ma, Jing; Wang, Yinglin.

Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). Vol. 123 2011. p. 695-707 (Advances in Intelligent and Soft Computing; Vol. 123).

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

Harvard

Zhang, Z, Nummenmaa, J, Guo, J, Ma, J & Wang, Y 2011, Patterns for activities on formalization based requirements reuse. in Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). vol. 123, Advances in Intelligent and Soft Computing, vol. 123, pp. 695-707. https://doi.org/10.1007/978-3-642-25661-5_86

APA

Zhang, Z., Nummenmaa, J., Guo, J., Ma, J., & Wang, Y. (2011). Patterns for activities on formalization based requirements reuse. In Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011) (Vol. 123, pp. 695-707). (Advances in Intelligent and Soft Computing; Vol. 123). https://doi.org/10.1007/978-3-642-25661-5_86

Vancouver

Zhang Z, Nummenmaa J, Guo J, Ma J, Wang Y. Patterns for activities on formalization based requirements reuse. In Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). Vol. 123. 2011. p. 695-707. (Advances in Intelligent and Soft Computing). https://doi.org/10.1007/978-3-642-25661-5_86

Author

Zhang, Zheying ; Nummenmaa, Jyrki ; Guo, Jianmei ; Ma, Jing ; Wang, Yinglin. / Patterns for activities on formalization based requirements reuse. Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). Vol. 123 2011. pp. 695-707 (Advances in Intelligent and Soft Computing).

Bibtex - Download

@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",
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 = "9783642256608",
volume = "123",
series = "Advances in Intelligent and Soft Computing",
pages = "695--707",
booktitle = "Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Patterns for activities on formalization based requirements reuse

AU - Zhang, Zheying

AU - Nummenmaa, Jyrki

AU - Guo, Jianmei

AU - Ma, Jing

AU - Wang, Yinglin

PY - 2011

Y1 - 2011

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

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

KW - formalization

KW - patterns

KW - process

KW - requirements reuse

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

U2 - 10.1007/978-3-642-25661-5_86

DO - 10.1007/978-3-642-25661-5_86

M3 - Conference contribution

SN - 9783642256608

VL - 123

T3 - Advances in Intelligent and Soft Computing

SP - 695

EP - 707

BT - Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)

ER -