MIRA: A tooling-framework to experiment with model-based requirements engineering | IEEE Conference Publication | IEEE Xplore

MIRA: A tooling-framework to experiment with model-based requirements engineering


Abstract:

Model-based requirements engineering supports eliciting, specifying and analyzing the work products elaborated during the requirements engineering process by providing ad...Show More

Abstract:

Model-based requirements engineering supports eliciting, specifying and analyzing the work products elaborated during the requirements engineering process by providing adequate models. However, especially the inclusion of formal models needs to be investigated further. These models represent requirements and have to be integrated with reference models that define and structure the work results and their relations. We have developed the research tool MIRA to provide an infrastructure for the tool-based evaluation of the usage of models in the field of requirements engineering. In this paper we present the research questions addressed by MIRA concerning the reference model and the formal models. We explain how MIRA supports answering these research questions.
Date of Conference: 15-19 July 2013
Date Added to IEEE Xplore: 21 October 2013
Electronic ISBN:978-1-4673-5765-4

ISSN Information:

Conference Location: Rio de Janeiro, Brazil

References

References is not available for this document.