Design-by-Contract links and tools
Michael Elhadad compiled the following list of Design-by-Contract (DbC) links and resources. You can see his list here.
Maintaining mental models: a study of developer work habits
A large-scale interesting survey conducted by Microsoft about work habits of their developers and the problems that arise from them.Maintaining mental models: a study of developer work habits
JTL – The Java Tool Language:
Dr. Yossi Gil’s lab at the Technion is developing an interesting Java query and generation tool by using Datalog:The JTL homepage.The publications section includes some interesting articles – Maybe we can invite one of the students for a talk.