Conference Papers

Permanent URI for this collectionhttps://idr.nitk.ac.in/handle/123456789/28506

Browse

Has files: NoSubject: search.filters.subject.Computer science education

Search Results

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Learning by creating: Interactive programming for Indian high schools
    (2012) Gupta, N.; Tejovanth, N.; Murthy, P.
    In this paper we discuss results and observations based on empirical studies of introducing programming using Scratch-Arduino to high school students. We analyse the programming experience of students across diverse educational and economic backgrounds, culture and region. Learning of key programming and electronics concepts was measured during the exercise. Results indicate that these fundamentals can be imparted at high schools in the Indian educational context. We find that the introduction of logic programming and computer-hardware interfacing at the high school level is advantageous in terms of creating an interactive environment fostering learning and creativity. © 2012 IEEE.
  • No Thumbnail Available
    Item
    Teaching formal methods at undergraduate/graduate level: The three perspectives
    (Institute of Electrical and Electronics Engineers Inc., 2018) Jeppu, N.; Jeppu, Y.; Kavitha Devi, M.K.K.
    Formai methods provide easy way of validating properties about systems. These methods are in existence since the last 50 years but have not been used fully by the industry as an engineering tool. One of the challenges of acceptance is education. Educating engineering students to take up formal methods is a challenge. This paper looks at these aspects of formal methods by providing demonstration of its usefulness on a recent failure. A few challenges of teaching formal method are described and three perspectives of formal methods are explained. The viewpoints are from a student who has worked on this, a teacher who teaches this and an industry practitioner of formal methods. We advocate an industry academia partnership to overcome some of these challenges of teaching formal methods to students. © 2017 IEEE.