Knowledgeable development environments using shared design models