Порождение целевых программных систем: элементы теориистатья