Import CSAR
Export CSAR
Analyze
info
Available
NodeTypes
Show XML
Toolbox
☁ Set as initial state
Relies on:
☁ Add requirement..
☁ Remove requirement..
Offers:
☁ Add capability..
☁ Remove capability..
Outgoing transitions:
☁ Add transition..
☁ Remove transition..
Selector
Please select the feature you want to add
OK
Cancel
Selector
Operation
Please select the operation firing the transition
Target state
Please select the state reached by firing the transition
Needed requirements
Please click on the requirements needed to fire the transition
OK
Cancel
Analyzer
Exit
About
You can download a sample CSAR by clicking
here.
Copyright ©
A. Canciani, J. Soldani
Computer Science Department, University of Pisa, Italy
OK