Rechnergestützte Konstruktion verteilter Anwendungen mit SpezifikationsmusternArnulf MesterÉpuiséPrévenez-moi