{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:30:15Z","timestamp":1725910215231},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319669380"},{"type":"electronic","value":"9783319669397"}],"license":[{"start":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T00:00:00Z","timestamp":1504569600000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-66939-7_3","type":"book-chapter","created":{"date-parts":[[2017,9,4]],"date-time":"2017-09-04T15:10:54Z","timestamp":1504537854000},"page":"28-36","source":"Crossref","is-referenced-by-count":0,"title":["Fuzzy Representation for Flexible Requirement Satisfaction"],"prefix":"10.1007","author":[{"given":"Ratih N. E.","family":"Anggraini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. P.","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,5]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Tamura, G., Villegas, N., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., et al., (eds.) Software Engineering for Self-adaptive Systems II, Revised Selected and Invited Papers, Dagstuhl Castle, Germany, 24\u201329 October 2010, pp. 108\u2013132. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5_5"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., et al.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15, 177\u2013196 (2010). ISSN 1432-010X","journal-title":"Requir. Eng."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.jss.2015.05.028","volume":"107","author":"M Ahmad","year":"2015","unstructured":"Ahmad, M., Belloir, N., Bruel, J.-M.: Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems. J. Syst. Softw. 107, 50\u201370 (2015)","journal-title":"J. Syst. Softw."},{"key":"3_CR4","unstructured":"Systems and software engineering \u2013 Vocabulary. ISO\/IEC\/IEEE 24765:2010(E), pp. 1\u2013418. (2010). \nhttp:\/\/www.uppaal.org\/"},{"key":"3_CR5","unstructured":"UPPAAL website (2017). \nhttp:\/\/www.uppaal.org\/"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"issue":"6","key":"3_CR7","doi-asserted-by":"crossref","first-page":"1497","DOI":"10.1007\/s00500-014-1302-0","volume":"19","author":"TP Martin","year":"2015","unstructured":"Martin, T.P.: The X-\u03bc representation of fuzzy sets. Soft. Comput. 19(6), 1497\u20131509 (2015)","journal-title":"Soft. Comput."},{"issue":"2","key":"3_CR8","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1109\/TSMCB.2003.819485","volume":"34","author":"S Moon","year":"2004","unstructured":"Moon, S., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 34(2), 1045\u20131055 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B (Cybern.)"},{"issue":"4","key":"3_CR9","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., et al.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Computational Intelligence Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66939-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,4]],"date-time":"2017-09-04T15:11:26Z","timestamp":1504537886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66939-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,5]]},"ISBN":["9783319669380","9783319669397"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66939-7_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,5]]}}}