Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?