Cloud#: A Specification Language for Modeling Cloud.

Dongxi Liu John Zic

Published in: IEEE CLOUD (2011)

Keyphrases

specification language
cloud computing
formal specification
programming language
data center
case study
object oriented
description language
software environment
symbolic execution
requirements specification