On the modularity and reusability of the rule-based specification of QoS properties of systems

Francisco Durán, Steffen Zschaler. On the modularity and reusability of the rule-based specification of QoS properties of systems. In Preliminary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid #TR-08/12 . 2012.

Authors

Francisco Duran

Identified as Francisco Durán
(Universidad de Málaga
)

Steffen Zschaler

Identified as Steffen Zschaler
(King's College London
)