發送短信: Methoden und Werkzeuge fur die Entwicklung von Software im Kontext verteilter Ausfuhrung /