Technologies for developing a smart city in computational thinking. (2018)