Formal specification of non-functional properties of component-based software systems

Steffen Zschaler. Formal specification of non-functional properties of component-based software systems. Software and Systems Modeling, 9(2):161-201, 2010. [doi]

Abstract

Abstract is missing.