{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:46:14Z","timestamp":1742924774765,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026546"},{"type":"electronic","value":"9783642026553"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02655-3_7","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T06:17:34Z","timestamp":1246256254000},"page":"72-89","source":"Crossref","is-referenced-by-count":15,"title":["Specifying and Composing Non-functional Requirements in Model-Based Development"],"prefix":"10.1007","author":[{"given":"Ethan K.","family":"Jackson","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Seifert","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Dahlweid","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[]},{"given":"Nikolaj","family":"Bj\u00f8rner","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium Requirements Engineering (RE), pp. 56\u201364 (January 1993)","DOI":"10.1109\/ISRE.1993.324836"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/1142980.1142982","volume":"11","author":"A. Pinto","year":"2006","unstructured":"Pinto, A., Bonivento, A., Sangiovanni-Vincentelli, A.L., Passerone, R., Sgroi, M.: System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst.\u00a011(3), 537\u2013563 (2006)","journal-title":"ACM Trans. Design Autom. Electr. Syst."},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., L\u00e9deczi, \u00c1., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE\u00a091(1), 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"E.A. Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Asp. Comput.\u00a016(3), 210\u2013237 (2004)","journal-title":"Formal Asp. Comput."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Sifakis, J.: The Embedded Systems Design Challenge. In: Proceedings of the International Symposium on Formal Methods (FM), pp. 1\u201315 (2006)","DOI":"10.1007\/11813040_1"},{"issue":"3-4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jvlc.2004.01.006","volume":"15","author":"J. Sprinkle","year":"2004","unstructured":"Sprinkle, J., Karsai, G.: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput.\u00a015(3-4), 291\u2013307 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Compositional specification of behavioral semantics. In: Proceedings of Design, Automation and Test in Europe Conference (DATE), pp. 906\u2013911 (2007)","DOI":"10.1109\/DATE.2007.364408"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A Notion of Glue Expressiveness for Component-Based Systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"key":"7_CR9","unstructured":"Jackson, E., Schulte, W., Sztipanovits, J.: The Power of Rich Syntax for Model-based Development. Technical Report MSR-TR-2008-86, Microsoft Research (June 2008)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)","DOI":"10.1145\/1376804.1376811"},{"key":"7_CR11","unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Workshop on Generative Techniques in the Context of Model-Driven Architecture (OOPSLA), pp. 1\u201317 (2003)"},{"issue":"4","key":"7_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F. Balarin","year":"2003","unstructured":"Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer\u00a036(4), 45\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Weisem\u00f6ller, I., Sch\u00fcrr, A.: Formal Definition of MOF 2.0 Metamodel Components and Composition. In: Proceedings of the Model Driven Engineering Languages and Systems, pp. 386\u2013400 (2008)","DOI":"10.1007\/978-3-540-87875-9_28"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-Based Design-Space Exploration and Model Synthesis. In: Proceedings of the International Conference on Embedded Software (EMOFT), pp. 290\u2013305 (2003)","DOI":"10.1007\/978-3-540-45212-6_19"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature Diagrams and Logics: There and Back Again. In: Proceedings of the International Conference on Software Product Lines (SPLC), pp. 23\u201334 (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Dantsin, E., Voronkov, A.: Expressive Power and Data Complexity of Query Languages for Trees and Lists. In: Proceedings of the Symposium on Principles of Database Systems (PODS), pp. 157\u2013165 (2000)","DOI":"10.1145\/335168.335218"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L.M. Moura de","year":"2008","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: A New Technology for Software Modelling. In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p. 20 (2002)","DOI":"10.1007\/3-540-46002-0_2"},{"key":"7_CR19","unstructured":"Object Management Group: Mda guide version 1.0.1. Technical report (2003)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE\u00a091(1), 84\u201399 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H. Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. Proceedings of the IEEE\u00a091(1), 112\u2013126 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-70930-5_9","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"W. Pree","year":"2008","unstructured":"Pree, W., Templ, J.: Modeling with the Timing Definition Language (TDL). In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol.\u00a04922, pp. 133\u2013144. Springer, Heidelberg (2008)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium (CSF), pp. 149\u2013162 (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and Semantics of a Decentralized Authorization Language. In: 20th IEEE Computer Security Foundations Symposium, pp. 3\u201315 (2007)","DOI":"10.1109\/CSF.2007.18"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02655-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T13:23:11Z","timestamp":1739193791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02655-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026546","9783642026553"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02655-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}