From Language-Independent Requirements to Code Based on a Semantic Analysis