Patterns for activities on formalization based requirements reuse

Zheying Zhang; Jyrki Nummenmaa; Jianmei Guo; Jing Ma; Yinglin Wang

doi:10.1007/978-3-642-25661-5_86

Patterns for activities on formalization based requirements reuse

Zheying Zhang^*
, Jyrki Nummenmaa
, Jianmei Guo
, Jing Ma
, Yinglin Wang

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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.

Original language	English
Title of host publication	Knowledge Engineering and Management
Subtitle of host publication	Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)
Editors	Yinglin Wang, Tianrui Li
Pages	695-707
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-642-25661-5_86
State	Published - 2011
Externally published	Yes

Publication series

Name	Advances in Intelligent and Soft Computing
Volume	123
ISSN (Print)	1867-5662

Keywords

formalization
patterns
process
requirements reuse

Access to Document

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

Cite this

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

Zhang, Zheying ; Nummenmaa, Jyrki ; Guo, Jianmei et al. / 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). editor / Yinglin Wang ; Tianrui Li. 2011. pp. 695-707 (Advances in Intelligent and Soft Computing).

@inproceedings{53f9666d9ab44edeab096efa303ea547,

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 = "英语",

isbn = "9783642256608",

series = "Advances in Intelligent and Soft Computing",

pages = "695--707",

editor = "Yinglin Wang and Tianrui Li",

booktitle = "Knowledge Engineering and Management",

}

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - https://www.scopus.com/pages/publications/84555170206

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

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

M3 - 会议稿件

AN - SCOPUS:84555170206

SN - 9783642256608

T3 - Advances in Intelligent and Soft Computing

SP - 695

EP - 707

BT - Knowledge Engineering and Management

A2 - Wang, Yinglin

A2 - Li, Tianrui

ER -

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

Patterns for activities on formalization based requirements reuse

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this