{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T04:36:37Z","timestamp":1718080597028},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T00:00:00Z","timestamp":1346803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s10009-012-0259-5","type":"journal-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T19:17:51Z","timestamp":1346786271000},"page":"631-638","source":"Crossref","is-referenced-by-count":2,"title":["Relating software validation to technology trends"],"prefix":"10.1007","volume":"14","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,5]]},"reference":[{"key":"259_CR1","unstructured":"Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)"},{"key":"259_CR2","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, vol. 17. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8"},{"key":"259_CR3","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010, Lecture Notes in Computer Science, vol. 6415. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0"},{"issue":"10","key":"259_CR4","doi-asserted-by":"crossref","first-page":"859866","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The humble programmer\u2014ACM Turing Award Lecture. Commun. ACM 15(10), 859866 (1972)","journal-title":"Commun. ACM"},{"issue":"4","key":"259_CR5","first-page":"1019","volume":"20","author":"FP Brooks Jr","year":"1987","unstructured":"Brooks Jr, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 1019 (1987)","journal-title":"IEEE Comput."},{"key":"259_CR6","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Boston (1994)"},{"issue":"5","key":"259_CR7","first-page":"5760","volume":"12","author":"FP Brooks Jr","year":"1995","unstructured":"Brooks Jr, F.P.: The mythical man-month: after 20 years. IEEE Softw. 12(5), 5760 (1995)","journal-title":"IEEE Softw."},{"issue":"12","key":"259_CR8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/MC.2007.419","volume":"40","author":"GJ Holzmann","year":"2007","unstructured":"Holzmann, G.J.: Conquering complexity. IEEE Comput. 40(12), 111\u2013113 (2007)","journal-title":"IEEE Comput."},{"key":"259_CR9","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Banatre, J. P., Holzl. M. M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms\u2014Challenges and Visions. Lecture Notes in Computer Science, vol. 5380. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89437-7"},{"issue":"7","key":"259_CR10","doi-asserted-by":"crossref","first-page":"1841","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"NG Leveson","year":"1993","unstructured":"Leveson, N.G., Turner, C.S.: An investigation of the Therac-25 accidents. IEEE Comput. 26(7), 1841 (1993)","journal-title":"IEEE Comput."},{"key":"259_CR11","unstructured":"Robinson, K.: Ariane 5: flight 501 failurea case study. http:\/\/www.cse.unsw.edu.au\/se4921\/PDF\/ariane5-article.pdf (2011)"},{"issue":"1","key":"259_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"CAR Hoare","year":"2003","unstructured":"Hoare, C.A.R.: The verifying compiler: a grand challenge for computing research. J. ACM 50(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"issue":"4","key":"259_CR13","first-page":"22:1","volume":"41","author":"CAR Hoare","year":"2009","unstructured":"Hoare, C.A.R., Misra, J., Leavens, G.T., Shankar, N.: The verified software initiative: a manifesto. ACM Comput. Surv. 41(4), 22:1\u201322:8 (2009)","journal-title":"ACM Comput. Surv."},{"key":"259_CR14","unstructured":"Object Managment Group. Model driven architecture\u2014a technical perspective. Document number ORMSC 2001-07-01 (2001)"},{"key":"259_CR15","volume-title":"Component Software, Beyond Object-Orients Programming","author":"C Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software, Beyond Object-Orients Programming. Addison-Wesley, Boston (1997)"},{"key":"259_CR16","volume-title":"Seamless Method- and Model-based Software and Systems engineering. The Future of Software Engineering","author":"M Broy","year":"2011","unstructured":"Broy, M.: Seamless Method- and Model-based Software and Systems engineering. The Future of Software Engineering. Springer, Berlin (2011)"},{"key":"259_CR17","doi-asserted-by":"crossref","unstructured":"Liu, Z., He, J., Li, X., Chen, Y.: A relational model for formal object-oriented requirements analysis in UML. In: Proceedings of the 5th International Conference on Formal Engineering Methods. LNCS, vol. 2885, pp. 641\u2013664. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-39893-6_36"},{"key":"259_CR18","doi-asserted-by":"crossref","unstructured":"Chen, X., Liu, Z., Mencl, V.: Separation of concerns and consistent integration in requirements modelling. In: Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science. LNCS, vol. 4362, pp. 819\u2013831. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-69507-3_71"},{"issue":"1","key":"259_CR19","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11704-012-2901-5","volume":"6","author":"W Ke","year":"2012","unstructured":"Ke, W., Li, X., Liu, Z., Stolz, V.: rCOS: a formal model-driven engineering method for component-based software. Front. Comput. Sci. China 6(1), 17\u201339 (2012)","journal-title":"Front. Comput. Sci. China"},{"issue":"4","key":"259_CR20","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci Comput. Program. 74(4), 168\u2013196 (2009)","journal-title":"Sci Comput. Program."},{"key":"259_CR21","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"259_CR22","volume-title":"Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997)"},{"key":"259_CR23","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"issue":"3","key":"259_CR24","first-page":"219246","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2(3), 219246 (1989)","journal-title":"CWI Q."},{"issue":"5","key":"259_CR25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1\u20132","key":"259_CR26","first-page":"109142","volume":"365","author":"J He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rCOS: a refinement calculus of object systems. Theor. Comput. Sci. 365(1\u20132), 109142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"259_CR27","doi-asserted-by":"crossref","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.49"},{"key":"259_CR28","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., He, J., Liu, Z., Reed, M.G.: Integrating theories and techniques for program modeling, design and verification. In: Proceedings of the 1st IFIP Conference on Verified Software: Theories, Tools, Experiments (VSTTE). LNCS, vol. 4171, pp. 291\u2013300. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-69149-5_31"},{"key":"259_CR29","doi-asserted-by":"crossref","unstructured":"Wang, Z., Li, J., Zhao, Y., Qi, Y., Pu, G., He, J., Gu, B.: SPARDL: a requirement modeling language for periodic control systems. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_48"},{"key":"259_CR30","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., Sch\u00e4f, M., Yin, L.: AutoPA: automatic prototyping from requirements. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_49"},{"key":"259_CR31","doi-asserted-by":"crossref","unstructured":"De A., Roychoudhury, A., D\u2019Souza, D.: WOMM: a weak operational memory model. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_43"},{"key":"259_CR32","doi-asserted-by":"crossref","unstructured":"Xu, Z., Kremenek, T., Zhang, J.: A memory model for static analysis of C programs. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_44"},{"key":"259_CR33","unstructured":"Li, Q., Zhao, J., Li, X.: Optimize context-sensitive Andersen-style points-to analysis by method summarization and cycle-elimination. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)"},{"key":"259_CR34","doi-asserted-by":"crossref","unstructured":"Ma, X., Wang, J., Dong, W.: Computing must and may alias to detect null pointer dereference. In: Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_18"},{"key":"259_CR35","doi-asserted-by":"crossref","unstructured":"Wang, J., Yi, X., Yang, X.: Towards a framework for scalable model checking of concurrent C programs. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.69"},{"key":"259_CR36","doi-asserted-by":"crossref","unstructured":"Dong, J.S., Feng, Y., Sun, J., Sun, J.: Context awareness systems design and reasoning. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.29"},{"key":"259_CR37","doi-asserted-by":"crossref","unstructured":"Pu, G., Zhu, H., He, J., Qiu, Z., Yang, H., Zhao, X.: Patterns with algebraic properties in BPEL0. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.57"},{"key":"259_CR38","doi-asserted-by":"crossref","unstructured":"Zhan, N.: Connecting algebraic and logic descriptions of concurrent systems. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.71"},{"key":"259_CR39","doi-asserted-by":"crossref","unstructured":"Liu, Z., Morisset, C., Stolz, V.: A component-based access control monitor. In: Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_24"},{"key":"259_CR40","doi-asserted-by":"crossref","unstructured":"Gomes, A., Mota, A., Sampaio, A., Ferri, F., Buzzi, J.: Systematic model-based safety assessment via probabilistic model checking. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_50"},{"key":"259_CR41","doi-asserted-by":"crossref","unstructured":"Chakraborty, J., D\u2019Souza, D., Kumar, K.N.: Analyzing message sequence graph specifications. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_45"},{"key":"259_CR42","doi-asserted-by":"crossref","unstructured":"Ravn, A.P., Srba, J., Vighio, S.: A formal analysis of the web services atomic transaction Protocol with UPPAAL. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_47"},{"key":"259_CR43","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S.: Model checking CSP revisited: introducing a process analysis toolkit. In: Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_22"},{"key":"259_CR44","doi-asserted-by":"crossref","unstructured":"De, A., Roychoudhury, A., D\u2019Souza, D.: WOMM: a weak operational memory model. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_43"},{"key":"259_CR45","doi-asserted-by":"crossref","unstructured":"Chakraborty, J., D\u2019Souza, D., Kumar, K.N.: Analysing message sequence graph specifications. In: Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010. Lecture Notes in Computer Science. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_45"},{"key":"259_CR46","doi-asserted-by":"crossref","unstructured":"Wang, F.: REDLIB for the formal verification of embedded systems. In: Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.68"},{"key":"259_CR47","doi-asserted-by":"crossref","unstructured":"Xia, B., Yang, L., Zhan, N.: Program verification by reduction to semi-algebraic systems solving. In: Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_20"},{"issue":"1","key":"259_CR48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11704-009-0074-7","volume":"4","author":"L Yang","year":"2010","unstructured":"Yang, L., Zhou, C., Zhan, N., Xia, B.: Recent advances in program verification through computer algebra. Front. Comput. Sci. China 4(1), 1\u201316 (2010)","journal-title":"Front. Comput. Sci. China"},{"key":"259_CR49","doi-asserted-by":"crossref","unstructured":"Jifeng, H.: Modelling coordination and compensation. In: Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_3"},{"key":"259_CR50","unstructured":"Li, X., Pan, M.: Timing analysis of MSC Specifications with Asynchronous Concatenation (in this volume)"},{"key":"259_CR51","unstructured":"Chen, C., et al.: Formal modeling and validation of stateflow diagrams (in this volume)"},{"key":"259_CR52","unstructured":"Mota, A., et al.: Constructive model-based analysis for safety assessment (in this volume)"},{"key":"259_CR53","unstructured":"Nyman, U., et al.: Compositional verification of real-time systems using Ecdar (in this volume)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0259-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0259-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0259-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T22:47:54Z","timestamp":1714344474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0259-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,5]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["259"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0259-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,5]]}}}