AES: Automated Evaluation Systems for Computer Programing Course Topics: Formal Methods; Social Systems and Applications; Software Engineering Tools In Proceedings of the 14th International Conference on Software Technologies ICSOFT - Volume 1, 508-513, 2019 , Prague, Czech Republic