In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.

Gurvan Le Guernic

Published in: ESSS (2014)

Keyphrases

case study
data analysis
automated analysis
quantitative analysis
detailed design
modeling tool
design process
genetic algorithm
statistical analysis
computer aided
database
design principles
design decisions
security requirements
analysis tool
visualization tool
learning environment
artificial intelligence