A Formal Approach to Adaptable-Resources Specification.

Yacine Sam Omar Boucelma

Published in: SERVICES II (2008)

Keyphrases

formal specification
formal methods
reactive systems
formal language
resource allocation
specification languages
operational semantics
resource management
learning resources
limited resources
resource constraints
computing resources
web services
web resources
requirements specification