A semantic framework for non-functional specifications of component based systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Steffen Zschaler. A semantic framework for non-functional specifications of component based systems. PhD thesis, Dresden University of Technology, 2007.

The following publications are possibly variants of this publication:

Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications ThereofSteffen Zschaler. Software and Systems Modelling, 9, apr 2009. [doi]

Non-functional specifications of components and systems - a generic semantic framework and its applicationsSteffen Zschaler. VDM, 2008. [doi]

Towards a Semantic Framework for Non-functional Specifications of Component-Based SystemsSteffen Zschaler. In Proc. EUROMICRO Conf. 2004. 2004:

Formal specification of non-functional properties of component-based software systemsSteffen Zschaler. SoSyM, 9(2):161-201, 2010. [doi]

runs on WebDSL