Research Projects for Keyword design contracts