{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:56Z","timestamp":1740099176411,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030028510"},{"type":"electronic","value":"9783030028527"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02852-7_11","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T13:41:45Z","timestamp":1539783705000},"page":"115-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment"],"prefix":"10.1007","author":[{"given":"Manzoor","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Gnaho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.jss.2015.05.028","journal-title":"J. Syst. Softw."},{"key":"11_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07512-9_1","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"F Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 1\u201318. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_1"},{"key":"11_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L Chung","year":"2000","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468\u2013483. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_36"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-14139-8_8","volume-title":"Advances in Conceptual Modeling","author":"C Gnaho","year":"2014","unstructured":"Gnaho, C., Semmak, F., Laleau, R.: Modeling the impact of non-functional requirements on functional requirements. In: Parsons, J., Chiu, D. (eds.) ER 2013. LNCS, vol. 8697, pp. 59\u201367. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-14139-8_8"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Goldsby, H.-J., Sawyer, P., Bencomo, N., Cheng, B.-H.-C., Hughes, D.: Goal-based modeling of dynamically adaptive system requirements. In: Proceedings of the 15th IEEE International Conference on Engineering of Computer-Based Systems, Belfast, Northern Ireland, March 2008","DOI":"10.1109\/ECBS.2008.22"},{"key":"11_CR7","unstructured":"i* Homepage. http:\/\/www.cs.toronto.edu\/km\/istar\/"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand, L.C., Wolf, A.L. (eds.) FOSE, pp. 259\u2013268 (2007)","DOI":"10.1109\/FOSE.2007.19"},{"key":"11_CR9","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A-V Lamsweerde","year":"2009","unstructured":"Lamsweerde, A.-V.: Requirements Engineering: From System Goals to UML Models to Software Specifications, 1st edn. Wiley, Hoboken (2009). ISBN 978EUDTE00270","edition":"1"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-33119-0_15","volume-title":"Search Based Software Engineering","author":"AJ Ramirez","year":"2012","unstructured":"Ramirez, A.J., Fredericks, E.M., Jensen, A.C., Cheng, B.H.C.: Automatically RELAXing a goal model to cope with uncertainty. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 198\u2013212. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33119-0_15"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.-H.-C., Bruel, J.-M.: RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE 2009, Washington, DC, USA, pp. 79\u201388. IEEE Computer Society (2009)","DOI":"10.1109\/RE.2009.36"},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Sangiovanni, A.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"29:1","DOI":"10.1145\/1550987.1550992","volume":"8","author":"EA Lee","year":"2009","unstructured":"Lee, E.A., et al.: Classes and inheritance in actor oriented design. ACM Trans. Embed. Comput. Syst. 8(4), 29:1\u201329:26 (2009)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"9","key":"11_CR14","first-page":"433","volume":"80","author":"PJ Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simul. Trans. Soc. Model. Simul.\/Int. J. High Perform. Comput. Appl. 80(9), 433\u2013450 (2004)","journal-title":"Simul. Trans. Soc. Model. Simul.\/Int. J. High Perform. Comput. Appl."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1109\/TSMCB.2003.819485","volume":"34","author":"M Seong-ick","year":"2004","unstructured":"Seong-ick, M., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Trans. Syst. Man Cybern. Part B Cybern. 34, 1045\u20131055 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B Cybern."},{"issue":"10","key":"11_CR16","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G-S Blair","year":"2009","unstructured":"Blair, G.-S., Bencomo, N., France, R.-B.: Models@run.time. Computer 42(10), 22\u201327 (2009). Run.Time@","journal-title":"Computer"},{"key":"11_CR17","unstructured":"Chipman, W., Grimm, C., Radojicic, C.: Coverage of uncertainties in cyber-physical systems. In: GMM\/ITG\/GI-Symposium Reliability by Design, ZuE 2015; 8, Siegen, Germany, pp. 1\u20138 (2015)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-42061-5_16","volume-title":"Modelling Foundations and Applications","author":"M Zhang","year":"2016","unstructured":"Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: W\u0105sowski, A., L\u00f6nn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 247\u2013264. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_16"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-91271-4_5","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"SJ Tueno Fotso","year":"2018","unstructured":"Tueno Fotso, S.J., Mammar, A., Laleau, R., Frappier, M.: Event-B expression and verification of translation rules between SysML\/KAOS domain models and B system specifications. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 55\u201370. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_5"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02852-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T21:19:40Z","timestamp":1572124780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02852-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030028510","9783030028527"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02852-7_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/medi2018.uca.ma\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}