%0 Journal Article %1 zschaler10formal %A Zschaler, Steffen %D 2010 %J Software and Systems Modeling %K extra-functional component formal %N 2 %P 161-201 %R 10.1007/s10270-009-0115-6 %T Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof %V 9

@article{zschaler10formal, added-at = {2011-12-16T09:35:45.000+0100}, author = {Zschaler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/258712cec1aaeb9a01cb237673740f62b/pbrada}, description = {important}, doi = {10.1007/s10270-009-0115-6}, groups = {public}, interhash = {bea6faebe5a73359806ebeb95c3ad282}, intrahash = {58712cec1aaeb9a01cb237673740f62b}, journal = {Software and Systems Modeling}, keywords = {extra-functional component formal}, number = 2, pages = {161-201}, timestamp = {2011-12-16T09:35:45.000+0100}, title = {Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof}, username = {pbrada}, volume = 9, year = 2010 }