Formale Methodik des Entwurfs verteilter objektorientierter Systeme | lit.salon