Facilitating Greener IT through Green Specifications.

Colin Atkinson Thomas Schulze Sonja Klingert

Published in: IEEE Softw. (2014)

Keyphrases

control flow
formal specification
specification language
database
data sets
digital images
software engineering
real world
data mining
learning algorithm
search engine
high level
multiscale
operational semantics
attribute grammars