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

^*此作品的通讯作者

Tampere University
Shanghai Jiao Tong University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

3 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	Knowledge Engineering and Management
主期刊副标题	Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011)
编辑	Yinglin Wang, Tianrui Li
页	695-707
页数	13
DOI	https://doi.org/10.1007/978-3-642-25661-5_86
出版状态	已出版 - 2011
已对外发布	是

出版系列

姓名	Advances in Intelligent and Soft Computing
卷	123
ISSN（印刷版）	1867-5662

访问文件

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

其它文件与链接

链接到 Scopus 的出版物

引用此

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

Zhang, Zheying ; Nummenmaa, Jyrki ; Guo, Jianmei 等. / 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). 编辑 / Yinglin Wang ; Tianrui Li. 2011. 页码 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. 在 Y Wang & T Li (编辑), 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, 卷 123, 页码 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 等.
Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). 编辑 / Yinglin Wang; Tianrui Li. 2011. 页码 695-707 (Advances in Intelligent and Soft Computing; 卷 123).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Wang Y, Li T, 编辑, Knowledge Engineering and Management: Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering, Shanghai, China, Dec 2011 (ISKE2011). 2011. 页码 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

摘要

出版系列

访问文件

其它文件与链接

指纹

引用此