{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:49:15Z","timestamp":1743104955623,"version":"3.40.3"},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447122968"},{"type":"electronic","value":"9781447122975"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-1-4471-2297-5_5","type":"book-chapter","created":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T10:43:43Z","timestamp":1325414623000},"page":"103-119","source":"Crossref","is-referenced-by-count":0,"title":["Conquering System Complexity"],"prefix":"10.1007","author":[{"given":"Norman F.","family":"Schneidewind","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/IEEM.2007.4419298","volume-title":"IEEE International Conference on Industrial Engineering and Engineering Management","author":"S. Azem","year":"2007","unstructured":"Azem, S., Aggoune, R., Dauz\u00e8re-P\u00e9r\u00e8s, S.: Disjunctive and time-indexed formulations for non-preemptive job shop scheduling with resource availability constraints. In: IEEE International Conference on Industrial Engineering and Engineering Management, pp. 787\u2013791 (2007)"},{"issue":"6","key":"5_CR2","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/MC.2007.191","volume":"40","author":"S. Bohner","year":"2007","unstructured":"Bohner, S.: An era of change-tolerant systems. IEEE Comput. 40(6), 100\u2013102 (2007)","journal-title":"IEEE Comput."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1109\/WCRE.2004.36","volume-title":"11th Working Conference on Reverse Engineering","author":"A. Bollin","year":"2004","unstructured":"Bollin, A.: The efficiency of specification fragments. In: 11th Working Conference on Reverse Engineering, pp. 266\u2013275. IEEE Comput. Soc., Washington (2004)"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MC.2007.16","volume":"40","author":"J.L. Fiadeiro","year":"2007","unstructured":"Fiadeiro, J.L.: Designing for software\u2019s social complexity. IEEE Comput. 40(1), 34\u201339 (2007)","journal-title":"IEEE Comput."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/RTCSA.2009.49","volume-title":"15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA \u201909","author":"X. Fu","year":"2009","unstructured":"Fu, X., Wang, X., Puster, E.: Dynamic thermal and timeliness guarantees for distributed real-time embedded systems. In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA \u201909, pp. 403\u2013412. IEEE Comput. Soc., Washington (2009)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/ICECCS.2004.1310923","volume-title":"Ninth IEEE International Conference on Engineering Complex Computer Systems","author":"B. George","year":"2004","unstructured":"George, B., Bohner, S.A., Prieto-Diaz, R.: Software information leaks: a complexity perspective. In: Ninth IEEE International Conference on Engineering Complex Computer Systems, pp. 239\u2013248 (2004)"},{"key":"5_CR7","volume-title":"The Architecture of Microcomputers","author":"S.E. Greenfield","year":"1980","unstructured":"Greenfield, S.E.: The Architecture of Microcomputers. Winthrop Publishers, Inc., Cambridge (1980)"},{"key":"5_CR8","volume-title":"Second IEEE International Conference on Systems, Man and Cybernetics (SMC\u201902)","author":"F. Guerin","year":"2002","unstructured":"Guerin, F., Barreau, M., Morel, J.-Y., Mihalache, A., Dumon, B., Todoskoff, A.: Reliability analysis for complex industrial real-time systems: application on an antilock brake system. In: Second IEEE International Conference on Systems, Man and Cybernetics (SMC\u201902), October 6\u20139, 2002, Hammamet, Tunisia, vol.\u00a07. IEEE Comput. Soc., Los Alamitos (2002)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/2.294859","volume":"27","author":"R. Kurki-Suonio","year":"1994","unstructured":"Kurki-Suonio, R.: Real time: further misconceptions (or half-truths) [real-time systems]. IEEE Comput. 27, 71\u201376 (1994)","journal-title":"IEEE Comput."},{"key":"5_CR10","volume-title":"International Workshop on Feedback and Evolution in Software and Business Processes","author":"M.M. Lehman","year":"2000","unstructured":"Lehman, M.M.: Rules and tools for software evolution planning and management. In: International Workshop on Feedback and Evolution in Software and Business Processes (2000). Revised and extended version in Annals of Software Engineering, vol.\u00a011, Nov. 2001, pp.\u00a015\u201344"},{"key":"5_CR11","first-page":"407","volume-title":"2nd International Conference on Software Engineering, ICSE \u201976","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. In: 2nd International Conference on Software Engineering, ICSE \u201976, p.\u00a0407. IEEE Comput. Soc., Los Alamitos (1976)"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/3-540-45414-4_6","volume-title":"15th International Conference on Distributed Computing, DISC \u201901","author":"N. Mittal","year":"2001","unstructured":"Mittal, N., Garg, V.K.: Computation slicing: techniques and theory. In: 15th International Conference on Distributed Computing, DISC \u201901, pp. 78\u201392. Springer, London (2001)"},{"key":"5_CR13","first-page":"568","volume-title":"32nd International Conference on Sarnoff Symposium, SARNOFF\u201909","author":"K. Mizanian","year":"2009","unstructured":"Mizanian, K., Yousefi, H., Jahangir, A.H.: Modeling and evaluating reliable real-time degree in multi-hop wireless sensor networks. In: 32nd International Conference on Sarnoff Symposium, SARNOFF\u201909, pp. 568\u2013573. IEEE Press, Piscataway (2009)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/METRIC.1996.492442","volume-title":"3rd International Symposium on Software Metrics: From Measurement to Empirical Results, METRICS \u201996","author":"J.C. Munson","year":"1996","unstructured":"Munson, J.C., Werries, D.S.: Measuring software evolution. In: 3rd International Symposium on Software Metrics: From Measurement to Empirical Results, METRICS \u201996, p.\u00a041. IEEE Comput. Soc., Washington (1996)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/ICSE.2004.1317422","volume-title":"26th International Conference on Software Engineering, ICSE \u201904","author":"N. Nagappan","year":"2004","unstructured":"Nagappan, N.: Toward a software testing and reliability early warning metric suite. In: 26th International Conference on Software Engineering, ICSE \u201904, pp. 60\u201362. IEEE Comput. Soc., Washington (2004)"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.scico.2006.10.007","volume":"66","author":"J. Pe\u00f1a","year":"2007","unstructured":"Pe\u00f1a, J., Hinchey, M.G., Resinas, M., Sterritt, R., Rash, J.L.: Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. 66(1), 71\u201386 (2007)","journal-title":"Sci. Comput. Program."},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/0471733520","volume-title":"Fundamentals of Digital Logic and Microcomputer Design","author":"M. Rafiquzzaman","year":"2005","unstructured":"Rafiquzzaman, M.: Fundamentals of Digital Logic and Microcomputer Design. Wiley-Interscience, New York (2005)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/WPC.2003.1199195","volume-title":"11th IEEE International Workshop on Program Comprehension, IWPC \u201903","author":"J. Rilling","year":"2003","unstructured":"Rilling, J., Klemola, T.: Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics. In: 11th IEEE International Workshop on Program Comprehension, IWPC \u201903, p. 115. IEEE Comput. Soc., Washington (2003)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/SMC-IT.2006.43","volume-title":"IEEE International Conference on Space Mission Challenges for Information Technology","author":"N. Russ","year":"2006","unstructured":"Russ, N., Peter, G., Berlin, R., Ulmer, B.: Lessons learned: on-board software test automation using IBM rational test realtime. In: IEEE International Conference on Space Mission Challenges for Information Technology, p. 305. IEEE Comput. Soc., Los Alamitos (2006)"},{"key":"5_CR20","first-page":"407","volume-title":"Software Evolution and Feedback","author":"N.F. Schneidewind","year":"2006","unstructured":"Schneidewind, N.F.: Requirements risk and software reliability. In: Madhavji, N.H., Fern\u00e1ndez-Ramil, J.C., Perry, D.E. (eds.) Software Evolution and Feedback, pp. 407\u2013421. Wiley, New York (2006)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218539307002532","volume":"14","author":"N.F. Schneidewind","year":"2007","unstructured":"Schneidewind, N.F.: Risk-driven software testing and reliability. Int. J. Reliab. Qual. Saf. Eng. 14(2), 99\u2013132 (2007)","journal-title":"Int. J. Reliab. Qual. Saf. Eng."},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L. Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Softw. 18(4), 20\u201328 (2001)","journal-title":"IEEE Softw."},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/SEW.2005.46","volume-title":"29th Annual IEEE\/NASA on Software Engineering Workshop","author":"M.E.M. Stewart","year":"2005","unstructured":"Stewart, M.E.M.: Towards a tool for rigorous, automated code comprehension using symbolic execution and semantic analysis. In: 29th Annual IEEE\/NASA on Software Engineering Workshop, pp. 89\u201396. IEEE Comput. Soc., Washington (2005)"},{"key":"5_CR24","first-page":"722","volume-title":"7th International Power Engineering Conference","author":"Y. Sun","year":"2005","unstructured":"Sun, Y., Cheng, L., Liu, H., He, S.: Power system operational reliability evaluation based on real-time operating state. In: 7th International Power Engineering Conference, Nov. 29\u2013Dec.\u00a02, 2005, pp. 722\u2013727 (2005)"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Softw. Eng. 10(4), 352\u2013357 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/QSIC.2004.1357948","volume-title":"Fourth International Conference on Quality Software, QSIC \u201904","author":"J. Zhang","year":"2004","unstructured":"Zhang, J.: Symbolic execution of program paths involving pointer and structure variables. In: Fourth International Conference on Quality Software, QSIC \u201904, pp. 87\u201392. IEEE Comput. Soc., Washington (2004)"}],"container-title":["Conquering Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2297-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T19:06:24Z","timestamp":1686596784000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-2297-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9781447122968","9781447122975"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_5","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}