{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:10:02Z","timestamp":1746295802425,"version":"3.40.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089140"},{"type":"electronic","value":"9783319089157"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-08915-7_7","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:35:54Z","timestamp":1404480954000},"page":"188-207","source":"Crossref","is-referenced-by-count":0,"title":["From Model-Driven Software Development Processes to Problem Diagnoses at Runtime"],"prefix":"10.1007","author":[{"given":"Yijun","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thein Than","family":"Tun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arosha K.","family":"Bandara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bashar","family":"Nuseibeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"15th IEEE International Requirements Engineering Conference, RE 2007, New Delhi, India, October 15-19. IEEE (2007)"},{"key":"7_CR2","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Prentice Hall, 2 edn. (August 2006)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Akiki, P.A., Bandara, A.K., Yu, Y.: Using interpreted runtime models for devising adaptive user interfaces of enterprise applications. In: Maciaszek, L.A., Cuzzocrea, A., Cordeiro, J. (eds.) ICEIS (3), pp. 72\u201377. SciTePress (2012)","DOI":"10.5220\/0003975800720077"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Akiki, P.A., Bandara, A.K., Yu, Y.: RBUIS: Simplifying enterprise application user interfaces through engineering role-based adaptive behaviour. In: The 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013, pp. 3\u201317 (2013)","DOI":"10.1145\/2494603.2480297"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R. Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng.\u00a015(4), 439\u2013458 (2010)","journal-title":"Requir. Eng."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1882362.1882367","volume-title":"Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research FoSER 2010","author":"L. Baresi","year":"2010","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research FoSER 2010, pp. 17\u201322. ACM, New York (2010), http:\/\/doi.acm.org\/10.1145\/1882362.1882367"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s00607-012-0224-x","volume":"95","author":"N. Bencomo","year":"2013","unstructured":"Bencomo, N., Bennaceur, A., Grace, P., Blair, G.S., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Computing\u00a095(3), 167\u2013190 (2013)","journal-title":"Computing"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Chen, B., Peng, X., Yu, Y., Zhao, W.: Are your sites down? requirements-driven self-tuning for the survivability of web systems. In: RE, pp. 219\u2013228. IEEE (2011)","DOI":"10.1109\/RE.2011.6051650"},{"issue":"8","key":"7_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2006.5.8.a4","volume":"5","author":"D. Djuric","year":"2006","unstructured":"Djuric, D., Gasevic, D., Devedzic, V.: The tao of modeling spaces. Journal of Object Technology\u00a05(8), 125\u2013147 (2006)","journal-title":"Journal of Object Technology"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B. Hailpern","year":"2006","unstructured":"Hailpern, B., Tarr, P.: Model-driven development: The good, the bad, and the ugly. IBM Systems Journal\u00a045(3), 451\u2013461 (2006)","journal-title":"IBM Systems Journal"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Han, S., Dang, Y., Ge, S., Zhang, D., Xie, T.: Performance debugging in the large via mining millions of stack traces. In: Proc. 34th International Conference on Software Engineering (ICSE 2012), http:\/\/www.csc.ncsu.edu\/faculty\/xie\/publications\/icse12-stackmine.pdf (June 2012)","DOI":"10.1109\/ICSE.2012.6227198"},{"key":"7_CR12","unstructured":"Jackson, M.: Problem Frames: Analyzing and structuring software development problems. Addison Wesley (2001)"},{"key":"7_CR13","unstructured":"Jackson, M.: Some notes on models and modelling. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 68\u201381. Springer, Heidelberg (2009)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Kiczales, G.: Aspect-oriented programming. ACM Comput. Surv.\u00a028(4es), 154 (1996)","DOI":"10.1145\/242224.242420"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE [1], pp. 221\u2013230","DOI":"10.1109\/RE.2007.18"},{"issue":"12","key":"7_CR16","doi-asserted-by":"publisher","first-page":"2829","DOI":"10.1016\/j.jss.2012.07.062","volume":"85","author":"M. Salifu","year":"2012","unstructured":"Salifu, M., Yu, Y., Bandara, A.K., Nuseibeh, B.: Analysing monitoring and switching problems for adaptive systems. Journal of Systems and Software\u00a085(12), 2829\u20132839 (2012)","journal-title":"Journal of Systems and Software"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Salifu, M., Yu, Y., Nuseibeh, B.: Specifying monitoring and switching problems in context. In: RE [1], pp. 211\u2013220","DOI":"10.1109\/RE.2007.21"},{"key":"7_CR18","unstructured":"Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Giese, H., Cheng, B.H.C. (eds.) SEAMS, pp. 60\u201369. ACM (2011)"},{"issue":"12","key":"7_CR19","doi-asserted-by":"publisher","first-page":"2454","DOI":"10.1016\/j.comnet.2013.02.022","volume":"57","author":"T. Tun","year":"2013","unstructured":"Tun, T., Laney, R.Y.Y., Nuseibeh, B.: Specifying software features for composition: A tool-supported approach. Computer Networks\u00a057(12), 2454\u20132464 (2013), http:\/\/oro.open.ac.uk\/37468\/","journal-title":"Computer Networks"},{"issue":"11","key":"7_CR20","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1002\/spe.923","volume":"39","author":"T.T. Tun","year":"2009","unstructured":"Tun, T.T., Trew, T., Jackson, M., Laney, R.C., Nuseibeh, B.: Specifying features of an evolving software system. Softw. Pract. Exper.\u00a039(11), 973\u20131002 (2009)","journal-title":"Softw. Pract. Exper."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Tun, T.T., Yu, Y., Laney, R., Nuseibeh, B.: Early identification of problem interactions: A tool-supported approach. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009. LNCS, vol.\u00a05512, pp. 74\u201388. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02050-6_7"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"A.M. Turing","year":"1937","unstructured":"Turing, A.M.: Computability and lambda-definability. J. Symb. Log.\u00a02(4), 153\u2013163 (1937)","journal-title":"J. Symb. Log."},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10515-008-0042-8","volume":"16","author":"Y. Wang","year":"2009","unstructured":"Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.: Monitoring and diagnosing software requirements. Autom. Softw. Eng.\u00a016(1), 3\u201335 (2009)","journal-title":"Autom. Softw. Eng."},{"key":"7_CR24","volume-title":"Modelling strategic relationships for process reengineering","author":"E. Yu","year":"1995","unstructured":"Yu, E.: Modelling strategic relationships for process reengineering. University of Toronto Toronto, Ont., Canada (1995)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Yu, Y., Lin, Y., Hu, Z., Hidaka, S., Kato, H., Montrieux, L.: Maintaining invariant traceability through bidirectional transformations. In: Proc. 34th International Conference on Software Engineering (ICSE 2012). ACM\/IEEE, Zurich (June 2012)","DOI":"10.1109\/ICSE.2012.6227162"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/2070821.2070828","volume-title":"Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, MALETS 2011","author":"Y. Yu","year":"2011","unstructured":"Yu, Y., Bandara, A., Tun, T.T., Nuseibeh, B.: Towards learning to detect meaningful changes in software. In: Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, MALETS 2011, pp. 51\u201354. ACM, New York (2011), http:\/\/doi.acm.org\/10.1145\/2070821.2070828"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Yu, Y., J\u00fcrjens, J., Mylopoulos, J.: Traceability for the maintenance of secure software. In: ICSM, pp. 297\u2013306. IEEE (2008)","DOI":"10.1109\/ICSM.2008.4658078"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Yu, Y., J\u00fcrjens, J., Schreck, J.: Tools for traceability in secure software development. In: ASE, pp. 503\u2013504. IEEE (2008)","DOI":"10.1109\/ASE.2008.92"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Yu, Y., Tun, T.T., Nuseibeh, B.: Specifying and detecting meaningful changes in programs. In: 26th IEEE\/ACM International Conference on Automated Software Engineering, pp. 273\u2013282 (November 2011), http:\/\/oro.open.ac.uk\/29450\/","DOI":"10.1109\/ASE.2011.6100063"}],"container-title":["Lecture Notes in Computer Science","Models@run.time"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08915-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:34:38Z","timestamp":1746293678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08915-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089140","9783319089157"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08915-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}