برنامه هایی با ویژگی 'مدل ها را به الزامات پیوند می دهد'