Project

Back to overview

AVISSIMO - Combining aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models

English title AVISSIMO - Combining aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models
Applicant Glinz Martin
Number 109471
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Zürich
Institution of higher education University of Zurich - ZH
Main discipline Information Technology
Start/End 01.10.2005 - 30.09.2007
Approved amount 91'750.00
Show all

Keywords (9)

requirements specification; requirements model; modeling; validation; aspect-orientation; animated simulation; visualization; semi-formal model; partial model

Lay Summary (English)

Lead
Lay summary
Semi-formal, graphic models of requirements play an important role insoftware development. In order to validate such models, they must bepresented to the stakeholders (in particular, the prospective users of asystem) in a way such that the stakeholders can understand them.The AVISSIMO project aims at supporting model understanding (and thusmodel validation) by a combination of two techniques: animated simulationof semi-formal models and aspect-oriented modeling and visualization. As avehicle for our research we use the ADORA modeling language and tool thatwe have developed in our research group.
Direct link to Lay Summary Last update: 21.02.2013

Responsible applicant and co-applicants

Employees

Name Institute

Associated projects

Number Title Start Funding scheme
101645 AVISSIMO - Combining aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models 01.10.2003 Project funding (Div. I-III)

-