Articles

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.