{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:57:00Z","timestamp":1725847020327},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662492239"},{"type":"electronic","value":"9783662492246"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_7","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T03:35:44Z","timestamp":1452483344000},"page":"68-74","source":"Crossref","is-referenced-by-count":6,"title":["Exploring the Role of Logic and Formal Methods in Information Systems Education"],"prefix":"10.1007","author":[{"given":"Anna","family":"Zamansky","sequence":"first","affiliation":[]},{"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"7_CR1","unstructured":"Barland, I., Felleisen, M., Fisler, K., Kolaitis, P., Vardi, M.Y.: Integrating logic into the computer science curriculum. In: Annual Joint Conference on Integrating Technology into Computer Science Education (2000)"},{"issue":"6","key":"7_CR2","first-page":"136","volume":"17","author":"RL Glass","year":"2000","unstructured":"Glass, R.L.: A new answer to how important is mathematics to the software practitioner? IEEE Softw. 17(6), 136 (2000)","journal-title":"IEEE Softw."},{"key":"7_CR3","doi-asserted-by":"publisher","DOI":"10.1057\/9781137033383","volume-title":"Shaping the Future of Business Education: Relevance, Rigor, and Life Preparation","author":"GM Hardy","year":"2013","unstructured":"Hardy, G.M., Everett, D.L.: Shaping the Future of Business Education: Relevance, Rigor, and Life Preparation. Palgrave Macmillan, London (2013)"},{"key":"7_CR4","unstructured":"Harvey, V.J., Wu, P.Y., Turchek, J.C., Longenecker, H.E.: Coordinated topic presentations for information systems core curriculum and discrete mathematics courses. In: Proceedings of ISECON 2005 (2005)"},{"key":"7_CR5","unstructured":"Hussmann, H.: Indirect use of formal methods in software engineering. In: ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle (WA), USA, pp. 126\u2013133. Citeseer (1995)"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J Kramer","year":"2007","unstructured":"Kramer, J.: Is abstraction the key to computing? Commun. ACM 50(4), 36\u201342 (2007)","journal-title":"Commun. ACM"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Kramer, J., Hazzan, O.: The role of abstraction in software engineering. In: Proceedings of the 28th International Conference on Software Engineering, pp. 1017\u20131018. ACM (2006)","DOI":"10.1145\/1134285.1134481"},{"issue":"5","key":"7_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.841783","volume":"33","author":"TC Lethbridge","year":"2000","unstructured":"Lethbridge, T.C.: What knowledge is important to a software professional? Computer 33(5), 44\u201350 (2000)","journal-title":"Computer"},{"issue":"1\u20134","key":"7_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10472-009-9115-z","volume":"53","author":"JA Makowsky","year":"2008","unstructured":"Makowsky, J.A.: From Hilberts program to a logic tool box. Ann. Math. Artif. Intell. 53(1\u20134), 225\u2013250 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/944746.944713","volume":"38","author":"RL Page","year":"2003","unstructured":"Page, R.L.: Software is discrete mathematics. ACM SIGPLAN Not. 38, 79\u201386 (2003)","journal-title":"ACM SIGPLAN Not."},{"key":"7_CR11","volume-title":"Questionnaire Research: A Practical Guide","author":"ML Patten","year":"2001","unstructured":"Patten, M.L.: Questionnaire Research: A Practical Guide. Pyrczak Publisher, Glendale (2001)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Skevoulis, S., Makarov, V.: Integrating formal methods tools into undergraduate computer science curriculum. In: 36th Annual on Frontiers in Education Conference, pp. 1\u20136. IEEE (2006)","DOI":"10.1109\/FIE.2006.322570"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/331795.331846","volume":"32","author":"AE Kelley Sobel","year":"2000","unstructured":"Kelley Sobel, A.E.: Empirical results of a software engineering curriculum incorporating formal methods. ACM SIGCSE Bull. 32(1), 157\u2013161 (2000)","journal-title":"ACM SIGCSE Bull."},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/32.991322","volume":"28","author":"AE Kelley Sobel","year":"2002","unstructured":"Kelley Sobel, A.E., Clarkson, M.R.: Formal methods application: an empirical tale of software development. IEEE Trans. Software Eng. 28(3), 308\u2013320 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR15","unstructured":"Sotiriadou, A., Kefalas, P.: Teaching formal methods in computer science undergraduates. In: International Conference on Applied and Theoretical Mathematics (2000)"},{"key":"7_CR16","unstructured":"Tavolato, P., Vogt, F.: Integrating formal methods into computer science curricula at a university of applied sciences. In: TLA+ Workshop at the 18th International Symposium on Formal Methods, Paris, Frankreich (2012)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Topi, H., Valacich, J.S., Wright, R.T., Kaiser, K., Nunamaker, Jr., J.F., Sipior, J.C., de Vreede, G.J.: Is 2010: Curriculum guidelines for undergraduate degree programs in information systems. Commun. Assoc. Inf. Syst.\u00a026(1), 18 (2010)","DOI":"10.17705\/1CAIS.02618"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-60043-4_44","volume-title":"Algebraic Methodology and Software Technology","author":"JM Wing","year":"1995","unstructured":"Wing, J.M.: Teaching mathematics to software engineers. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol. 936, pp. 18\u201340. Springer, Heidelberg (1995)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45499-3_2","volume-title":"Algebraic Methodology and Software Technology","author":"JM Wing","year":"2000","unstructured":"Wing, J.M.: Weaving formal methods into the undergraduate computer science curriculum. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 2\u20137. Springer, Heidelberg (2000)"},{"issue":"3","key":"7_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"JM Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Commun. ACM 49(3), 33\u201335 (2006)","journal-title":"Commun. ACM"},{"key":"7_CR21","unstructured":"Zamansky, A., Farchi, E.: Teaching logic to information systems students: challenges and opportunities. In: Tools for Teaching Logic (2015)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:21:15Z","timestamp":1559366475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}