Shonan meeting on Software Contracts