Ein umfassendes Werk, das theoretische Programmiermodelle mit formalen Ingenieurmethoden verknüpft und anhand von praxisnahen Fallstudien aus einer internationalen Schulung in Shanghai die Synergien aufzeigt.