{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:49:58Z","timestamp":1725655798475},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/eurmic.2004.1333360","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:27:50Z","timestamp":1099913270000},"page":"92-99","source":"Crossref","is-referenced-by-count":10,"title":["Towards a semantic framework for non-functional specifications of component-based systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Zschaler","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Proc 8th Int'l Workshop on Component-Oriented Programming (WCOP'03)","article-title":"Contracts and quality attributes for software components","year":"2003","author":"reussner","key":"19"},{"journal-title":"UML profile for schedulability performance and time specification","year":"2002","key":"17"},{"journal-title":"Parametrisierte Vertrage Zur Protokolladaption Bei Software-Komponenten","year":"2001","author":"reussner","key":"18"},{"journal-title":"Real-Time Systems","year":"2000","author":"liu","key":"15"},{"journal-title":"EPIQ QoS characterization","year":"1997","author":"liu","key":"16"},{"key":"13","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"Proceedings of IFIP '83"},{"journal-title":"Proc IASTED Int'l Conf on Software Engineering (IASTED SE'04)","article-title":"Service specification with mscs and roles","year":"0","author":"kruger","key":"14"},{"key":"11","first-page":"108","article-title":"Packaging predictable assembly","author":"hissam","year":"2002","journal-title":"Proc IFIP\/ACM Working Conf on Component Deployment (CD 2002) Volume 2370 of LNCS"},{"journal-title":"Proc IASTED Int'l Conf on Software Engineering (IASTED SE'04)","year":"2004","key":"12"},{"journal-title":"Proc IASTED Int'l Conf on Software Engineering (IASTED SE'04)","article-title":"A software development process supporting non-functional properties","year":"0","author":"rottger","key":"21"},{"journal-title":"Proc UML Conf","article-title":"Model-driven development for non-functional properties: Refinement through model transformation","year":"2004","author":"rottger","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.1997.609931"},{"journal-title":"Proc Int'l Workshop on Test and Analysis of Component Based Systems (TACOS) ETAPS 2003","article-title":"Service-based software specification","year":"2003","author":"salzmann","key":"23"},{"journal-title":"Middleware 2003 Companion 2nd Int'I Workshop on Reflective and Adaptive Middleware Systems","article-title":"Quality of service semantics for component-based systems","year":"2003","author":"staehli","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01832141"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/2.386982"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"1997","author":"szyperski","key":"27"},{"journal-title":"Modern Operating Systems","year":"2002","author":"tanenbaum","key":"28"},{"journal-title":"Foundations of Real-time Computing","year":"1991","author":"tilborg","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186058"},{"key":"2","first-page":"1","article-title":"Composing specifications","author":"abadi","year":"1989","journal-title":"Stepwise Refinement of Distributed Systems Models Formalisms Correctness LNCS 430"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974052"},{"journal-title":"Quality of Service Support in Development of Distributed Systems","year":"2001","author":"aagedal","key":"1"},{"journal-title":"The Kluwer International Series in Software Engineering","article-title":"Non-functional requirements in software engineering","year":"1999","author":"chung","key":"7"},{"journal-title":"UML Components A Simple Process for Specifying Component-Based Software","year":"2001","author":"cheesman","key":"6"},{"key":"5","first-page":"1","article-title":"Towards component based software performance engineering","author":"bertolino","year":"2003","journal-title":"Proc 6thWorkshop on Component-Based Software Engineering Automated Reasoning and Prediction at ICSE 2003"},{"journal-title":"Proc Int'l Conf on Software &Systems Engineering and Their Applications (ICSSEA)","article-title":"Towards pervasive treatment of non-functional properties at design and run-time","year":"2003","author":"aigner","key":"4"},{"journal-title":"Distributed Operating Systems The Logical Design","year":"1991","author":"goscinski","key":"9"},{"journal-title":"Lecture Notes on Engineering Measurement for Software Engineers","article-title":"Measurement theory for software engineers","year":"1993","author":"ford","key":"8"}],"event":{"name":"Proceedings. 30th Euromicro Conference, 2004.","start":{"date-parts":[[2004,9,3]]},"location":"Rennes, France","end":{"date-parts":[[2004,9,3]]}},"container-title":["Proceedings. 30th Euromicro Conference, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9268\/29441\/01333360.pdf?arnumber=1333360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T20:00:23Z","timestamp":1489521623000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1333360\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/eurmic.2004.1333360","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}