{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:28Z","timestamp":1775054368821,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030119317","type":"print"},{"value":"9783030119324","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T00:00:00Z","timestamp":1552694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-11932-4_7","type":"book-chapter","created":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:28:49Z","timestamp":1552613329000},"page":"68-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Teaching Programming and\u00a0Design-by-Contract"],"prefix":"10.1007","author":[{"given":"Daniel","family":"de Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasheed","family":"Hussain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adil","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mansur","family":"Khazeev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JooYong","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Masiagin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Mazzara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruslan","family":"Mustafin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandr","family":"Naumchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Rivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,16]]},"reference":[{"key":"7_CR1","volume-title":"The Java Programming Language","author":"K Arnold","year":"2000","unstructured":"Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (2000)","edition":"3"},{"key":"7_CR2","volume-title":"Prolog Programming for Artificial Intelligence","author":"I Bratko","year":"1986","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley Longman Publishing Co. Inc, Boston, MA, USA (1986)"},{"key":"7_CR3","unstructured":"Chapman, R.: Correctness by construction: A manifesto for high integrity software. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55. pp. 43\u201346. SCS 2005, Australian Computer Society, Inc., Darlinghurst, Australia, Australia (2006). http:\/\/dl.acm.org\/citation.cfm?id=1151816.1151820"},{"key":"7_CR4","unstructured":"Hejlsberg, A., Torgersen, M., Wiltamuth, S., Golde, P.: C# Programming Language. Addison-Wesley Professional, 4th edn. (2010)"},{"key":"7_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21554-8","volume-title":"PASCAL User Manual and Report","author":"K Jensen","year":"1974","unstructured":"Jensen, K., Wirth, N.: PASCAL User Manual and Report. Springer, New York, NY, USA (1974)"},{"key":"7_CR6","unstructured":"Kernighan, B.W.: The C Programming Language. Prentice Hall Professional Technical Reference, 2nd edn. (1988)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Kondratyev, D., Tormasov, A., Stanko, T., Jones, R.C., Taran, G.: Innopolis university-a new it resource for Russia. In: 2013 International Conference on Interactive Collaborative Learning (ICL). pp. 841\u2013848 (Sept 2013)","DOI":"10.1109\/ICL.2013.6644718"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Meyer, B.: Applying \u201cdesign by contract\". Computer 25(10), 40\u201351 (Oct 1992). https:\/\/doi.org\/10.1109\/2.161279","DOI":"10.1109\/2.161279"},{"key":"7_CR9","volume-title":"Eiffel: The Language","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall Inc., Upper Saddle River, NJ, USA (1992)"},{"key":"7_CR10","volume-title":"Object-oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall Inc., Upper Saddle River, NJ, USA (1997)","edition":"2"},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge, MA, USA (1997)"},{"key":"7_CR12","unstructured":"Odersky, M., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M., et\u00a0al.: An overview of the scala programming language. Technical report (2004)"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Pedroni, M., Meyer, B.: The inverted curriculum in practice. SIGCSE Bull. 38(1), 481\u2013485 (Mar 2006). https:\/\/doi.org\/10.1145\/1124706.1121493","DOI":"10.1145\/1124706.1121493"},{"key":"7_CR14","unstructured":"Peyton Jones, S.: Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press (2003)"},{"key":"7_CR15","volume-title":"Common LISP: The Language","author":"GL Steele Jr","year":"1990","unstructured":"Steele Jr., G.L.: Common LISP: The Language, 2nd edn. Digital Press, Newton, MA, USA (1990)","edition":"2"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Tschannen, J., Furia, C.A., Nordio, M., Polikarpova, N.: Autoproof: Auto-active functional verification of object-oriented programs. In: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, Springer (2015)","DOI":"10.1007\/978-3-662-46681-0_53"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Wegner, P.: Concepts and paradigms of object-oriented programming. SIGPLAN OOPS Mess. 1(1), 7\u201387 (Aug 1990). https:\/\/doi.org\/10.1145\/382192.383004","DOI":"10.1145\/382192.383004"}],"container-title":["Advances in Intelligent Systems and Computing","The Challenges of the Digital Transformation in Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11932-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T11:01:04Z","timestamp":1574334064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11932-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,16]]},"ISBN":["9783030119317","9783030119324"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11932-4_7","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,16]]},"assertion":[{"value":"16 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Interactive Collaborative Learning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kos Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icl2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icl-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}