Semantic Software Design