Контрольные + практикум
Решил ввести такое новшество: я веду практикум + язык спецификаций RSL. Практикум заключается в написании всего трёх спецификаций, каждая из которых должна быть показана преподавателю и засчитана. Так вот чтобы народ зря время не терял, надо бы им давать вместе со сдачей работы - пусть решают задачи, пока не сдают практикум. Интересно, что из этого получится... Может, мне и не разрешать такой деятельностью заниматься ...