ANONYMOUS, 2002, FOR IMP OP COURS HIG;BARANA A., 2019, COMMUN COMPUT PHYS, V1014, DOI 10.1007/978-3-030-25264-9, DOI 10.1007/978-3-030-25264-9;BARANA A, 2019, J E-LEARN KNOWL SOC, V15, P75, DOI 10.20368/1971-8829/1135057;BENOTTI L, 2018, IEEE T LEARN TECHNOL, V11, P179, DOI 10.1109/TLT.2017.2682084;BLACK P, 1998, INSIDE BLACK BOX RAI;BLACK P, 2009, EDUC ASSESS EVAL ACC, V21, P5, DOI 10.1007/S11092-008-9068-5;BRANCACCIO ANNA, 2019, PROCEEDINGS OF THE INTERNATIONAL CONFERENCE. E-LEARNING 2019, P131;CHAN H., 2019, P IEEE MT C TEACH AS, P889;EMERSON E. A., 1990, HDB THEORETICAL COMP, P955;GOSSEN FREDERIK, 2018, 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC). PROCEEDINGS, P990, DOI 10.1109/COMPSAC.2018.00175;HATTIE J, 2007, REV EDUC RES, V77, P81, DOI 10.3102/003465430298487;LAMPRECHT A. L., 2019, ENCY ED INFORM TECHN;MARCHISIO MARINA, 2019, PROCEEDINGS OF THE INTERNATIONAL CONFERENCE. E-LEARNING 2019, P195;MARCHISIO MARINA, 2018, 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC). PROCEEDINGS, P1016, DOI 10.1109/COMPSAC.2018.00178;MARCHISIO M, 2020, P INT COMP SOFTW APP, P190, DOI 10.1109/COMPSAC48688.2020.00034;MARCHISIO M, 2019, J E-LEARN KNOWL SOC, V15, P49, DOI 10.20368/1971-8829/1135048;MARGARIA TIZIANA, 2018, LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. MODELING. 8TH INTERNATIONAL SYMPOSIUM, ISOLA 2018. PROCEEDINGS: LECTURE NOTES IN COMPUTER SCIENCE (LNCS 11244), P261, DOI 10.1007/978-3-030-03418-4_16;MCINERNEY C., 2017, TOMORROWS LEARNING I, P494;MIILLER-OLM M., 1999, LECT NOTES COMPUTER, V1694;NANDIGAM D., 2014, IC3E 2014 2014 IEEE, DOI 10.1109/IC3E.2014.7081251, DOI 10.1109/IC3E.2014.7081251;RASHKOVITS R, 2013, LECT NOTES ENG COMP, P384;TATNALL A., 2020, ENCY ED INFORM TECHN;THE JOINT TASK FORCE ON COMPUTING CURRICULA ASSOCIATION FOR COMPUTING MACHINERY (ACM) AND IEEE COMPUTER SOCIETY, 2013, COMP SCI CURR 2013 C, DOI 10.1145/2534860;VOAS J, 2018, IT PROF, V20, P9, DOI 10.1109/MITP.2018.011021350