Dev with github enterprise
The quality attribute of upgradability
Availability Analysis for Deployment of In-Cloud Applications
Automatic Undo for Cloud Management via AI Planning