A framework for describing and comparing courses and curricula
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Inferring loop invariants using postconditions
Fields of logic and computation
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Communications of the ACM
Grace: the absence of (inessential) difficulty
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 0.02 |
From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich object-oriented software system supporting graphics and multimedia, which students can use to produce impressive applications from day one, then understand inside out as they learn new programming techniques. Unique to Touch of Class is a combination of a practical, hands-on approach to programming with the introduction of sound theoretical support focused on helping students learn the construction of high quality software. The use of full color brings exciting programming concepts to life. Among the useful features of the book is the use of Design by Contract, critical to software quality and providing a gentle introduction to formal methods. Will give students a major advantage by teaching professional-level techniques in a literate, relaxed and humorous way.