A Survey of Simulation Tools for Requirements Engineering

Authors:
Reto Schmid;Johannes Ryser;Stefan Berner;Martin Glinz;Ralf Reutemann;Erwin Fahr
Affiliations:
-;-;-;-;-;-
Venue:
A Survey of Simulation Tools for Requirements Engineering
Year:
2000

Citing 0
Cited 4

Interactive Visualization for Elicitation and Validationn of Requirements with Scenario-Based Prototyping

REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Deriving behavior of multi-user processes from interactive requirements validation

Proceedings of the IEEE/ACM international conference on Automated software engineering
Scaling up with event-B: a case study

NFM'11 Proceedings of the Third international conference on NASA Formal methods
Requirements engineering tools: Capabilities, survey and assessment

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Validation of requirements specifications is undoubtly an integral and indispensable part of requirements engineering.Validation is the process of checking whether requirements specifications meet the intentions and expectations of the stakeholders. One approach to support the process of validation is based on simulation/execution and animation of system (behaviour)models t at are derived from initial requirements specifications.However,the benefit of executable models is determined by the capabilities of the corresponding simulation tools.This paper presents a survey on simulation and animation capabilities of ten modern software/system engineering tools.