Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

Martin Böschen; Christian Rudat

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

In Proceedings of the 6th International Workshop on Software Knowledge - Volume 0IC3K, 54-59, 2015 , Lisbon, Portugal

Authors: Martin Böschen and Christian Rudat

Affiliation: OFFIS - Institute for Information Technology, Germany

Keyword(s): Requirements Engineering, Traceability, Requirement Formalization.

Abstract: We describe a particular notion of traceability, namely the traceability between model variables and text passages in an informal requirement and discuss the usefulness of this concept, as it establishes a natural connection between formal and informal requirements. The traceability can be established in an semi-automated way by using the algorithm presented in this paper, which combines two metrics to match parts of the informal requirements to model variables. The first metric is purely text based and uses the Levenshtein distance, the second metric measures the semantical distance of concepts by using the Wu and Palmer measure and the WordNet ontology. The algorithm makes suggestions to the requirements engineer based on a combined score of these two measures. The suggested approach has been implemented in a tool and is studied in a small example.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.142.220.14

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Böschen, M. and Rudat, C. (2015). Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge. In Proceedings of the 6th International Workshop on Software Knowledge (IC3K 2015) - SKY; ISBN 978-989-758-162-5, SciTePress, pages 54-59. DOI: 10.5220/0005732300540059

@conference{sky15,
author={Martin Böschen and Christian Rudat},
title={Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge},
booktitle={Proceedings of the 6th International Workshop on Software Knowledge (IC3K 2015) - SKY},
year={2015},
pages={54-59},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005732300540059},
isbn={978-989-758-162-5},
}

TY - CONF

JO - Proceedings of the 6th International Workshop on Software Knowledge (IC3K 2015) - SKY
TI - Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge
SN - 978-989-758-162-5
AU - Böschen, M.
AU - Rudat, C.
PY - 2015
SP - 54
EP - 59
DO - 10.5220/0005732300540059
PB - SciTePress