{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:12:35Z","timestamp":1743120755504,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395630"},{"type":"electronic","value":"9783319395647"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39564-7_10","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T07:27:56Z","timestamp":1465198076000},"page":"103-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["\u2018Mathematical\u2019 Does Not Mean \u2018Boring\u2019: Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts"],"prefix":"10.1007","author":[{"given":"Anna","family":"Zamansky","sequence":"first","affiliation":[]},{"given":"Yoni","family":"Zohar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"key":"10_CR1","first-page":"131","volume-title":"Teaching and Learning Formal Methods","author":"VL Almstrum","year":"1996","unstructured":"Almstrum, V.L.: Investigating student difficulties with mathematical logic. In: Dean, N., Hinchey, M.G. (eds.) Teaching and Learning Formal Methods, pp. 131\u2013160. Academic Press, Cambridge (1996)"},{"key":"10_CR2","unstructured":"Areces, C.E.: Logic Engineering: The Case of Description and Hybrid Logics. Institute for Logic, Language and Computation (2000)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-61511-3_84","volume-title":"Automated Deduction\u2013Cade-13","author":"M Baaz","year":"1996","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: Multlog 1.0: towards an expert system for many-valued logics. In: McRobbie, M.A., Slaney, J.K. (eds.) Automated Deduction\u2013Cade-13. LNCS, vol. 1104, pp. 226\u2013230. Springer, Heidelberg (1996)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-319-06410-9_4","volume-title":"FM 2014: Formal Methods","author":"D Bj\u00f8rner","year":"2014","unstructured":"Bj\u00f8rner, D., Havelund, K.: 40 years of formal methods. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 42\u201361. Springer, Heidelberg (2014)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-319-11558-0_2","volume-title":"Logics in Artificial Intelligence","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Spendier, L.: Tools for the investigation of substructural and paraconsistent logics. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 18\u201332. Springer, Heidelberg (2014)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/B978-044450813-3\/50006-0","volume-title":"Handbook of Automated Reasoning","author":"A Degtyarev","year":"2001","unstructured":"Degtyarev, A., Voronkov, A.: The inverse method. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 179\u2013272. MIT Press, Cambridge (2001)"},{"key":"10_CR7","unstructured":"Hoffmann, M., Iachelini, G.: Code coverage analysis for eclipse. Eclipse Summit Europe (2007)"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"SE\u20138","author":"WE Howden","year":"1982","unstructured":"Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Trans. Softw. Eng. SE\u20138(4), 371\u2013379 (1982)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-319-08587-6_6","volume-title":"Automated Reasoning","author":"O Lahav","year":"2014","unstructured":"Lahav, O., Zohar, Y.: SAT-based decision procedure for analytic pure sequent calculi. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 76\u201390. Springer, Heidelberg (2014)"},{"key":"10_CR10","unstructured":"Makowsky, J.: Teaching logic for computer science: are we teaching the wrong narrative? In: Fourth International Conference on Tools for Teaching Logic, TTL (2015)"},{"issue":"1\u20134","key":"10_CR11","first-page":"225","volume":"53","author":"A Johann","year":"2008","unstructured":"Johann, A.: Makowsky.: 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":"10_CR12","doi-asserted-by":"crossref","unstructured":"Mandrioli, D.: On the heroism of really pursuing formal methods. In: 2015 IEEE\/ACM 3rd FME Workshop on Formal Methods in Software Engineering (Formalise), pp. 1\u20135. IEEE (2015)","DOI":"10.1109\/FormaliSE.2015.8"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1093\/jigpal\/4.1.109","volume":"4","author":"HJ Ohlbach","year":"1996","unstructured":"Ohlbach, H.J.: Computer support for the development and investigation of logics. Logic J. IGPL 4(1), 109\u2013127 (1996)","journal-title":"Logic J. IGPL"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Page, R.L.: Software is discrete mathematics. In: ACM SIGPLAN Notices, vol. 38, pp. 79\u201386. ACM (2003)","DOI":"10.1145\/944746.944713"},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BF03217375","volume":"15","author":"BF Sherman","year":"2003","unstructured":"Sherman, B.F., Wither, D.P.: Mathematics anxiety and mathematics achievement. Math. Educ. Res. J. 15(2), 138\u2013150 (2003)","journal-title":"Math. Educ. Res. J."},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0898-1221(92)90137-7","volume":"23","author":"JF Sowa","year":"1992","unstructured":"Sowa, J.F.: Conceptual graphs as a universal knowledge representation. Comput. Math. Appl. 23(2), 75\u201393 (1992)","journal-title":"Comput. Math. Appl."},{"key":"10_CR17","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":"10_CR18","doi-asserted-by":"crossref","unstructured":"Tishkovsky, D., Schmidt, R.A., Khodadadi, M.: Mettel2: towards a tableau prover generation platform. In: PAAR@ IJCAR, pp. 149\u2013162 (2012)","DOI":"10.1007\/978-3-642-33353-8_41"},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-60043-4_44","volume-title":"Algebraic Methodology and Software Technology","author":"Jeannette M. Wing","year":"1995","unstructured":"Wing, J.M.: Teaching mathematics to software engineers. In: Proceedings 4th International Conference Algebraic Methodology and Software Technology, AMAST 1995, Montreal, Canada, 3\u20137 July, 1995, pp. 18\u201340 (1995)"},{"key":"10_CR20","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.: Invited talk: weaving formal methods into the undergraduate computer science curriculum. In: Rus, T. (ed.) Algebraic Methodology and Software Technology. LNCS, vol. 1816, pp. 2\u20137. Springer, Heidelberg (2000)"},{"key":"10_CR21","unstructured":"Zamansky, A., Farchi, E.: Teaching logic to information systems students: challenges and opportunities. In: Fourth International Conference on Tools for Teaching Logic, TTL (2015)"}],"container-title":["Lecture Notes in Business Information Processing","Advanced Information Systems Engineering Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39564-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T00:06:45Z","timestamp":1623024405000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39564-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395630","9783319395647"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39564-7_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ljubljana","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovenia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}