Computer Science Education: Where Are the Software Engineers of Tomorrow? It is our view that Computer Science (CS) education is neglecting basic skills, in particular in the areas of programming and formal methods. We consider that the general adoption of Java as a first programming language is in...