Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof

Computing and Communications

Keywords

cs_eprint_id, 2303 cs_uid, 435

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof. / Zschaler, Steffen.
In: Software and Systems Modeling, Vol. 9, 04.2009, p. 161-201.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Bibtex

@article{b1728433961847c7bf66ddbb3fb1ae02,

title = "Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof",

keywords = "cs_eprint_id, 2303 cs_uid, 435",

author = "Steffen Zschaler",

year = "2009",

month = apr,

language = "English",

volume = "9",

pages = "161--201",

journal = "Software and Systems Modeling",

issn = "1619-1374",

publisher = "Springer Verlag",

}

RIS

TY - JOUR

T1 - Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof

AU - Zschaler, Steffen

PY - 2009/4

Y1 - 2009/4

KW - cs_eprint_id

KW - 2303 cs_uid

KW - 435

M3 - Journal article

VL - 9

SP - 161

EP - 201

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1374

ER -

Research

Keywords