Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

Practical abilities are important for students from majors including Computer Science and Engineering, and Electrical Engineering. Along with the popularity of ACM International Collegiate Programming Contest (ACM/ICPC) and other programming contests, online judge (OJ) websites achieve rapid development, thus providing a new kind of programming…

A learning environment having more than one screen enables users to display and compare various sources of learning information with two adjacent screens illustrating the development of interrelated concepts and showing their relationships. This proposed technique could provide higher quality resources for learners by addressing physical and…

Computers have become an integral part of how engineers complete their work, allowing them to collect and analyze data, model potential solutions and aiding in production through automation and robotics. In addition, computers are essential elements of the products themselves, from tennis shoes to construction materials. An understanding of how…

A study of 89 computer programming students in two instructional groups found that those using Visual Basic (VB) mastered programming design concepts as well as those using traditional BASIC. Concludes that VB is an excellent choice for a first programming course (high school or university) emphasizing sequence, selection, iteration, variables,…