Navigational Web-Interfaces from Formal Tropos Specification

Authors:
Komminist Weldemariam
Affiliations:
Center for Information Technology, FBK-Irst, Trento, Italy 38100
Venue:
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Year:
2009

Citing 3
Cited 0

The tropos software development methodology: processes, models and diagrams

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Modelling strategic relationships for process reengineering

Modelling strategic relationships for process reengineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method of building executable and interactive application interface prototypes from requirements. The specification of the requirements uses i* and Formal Tropos languages.