Softwaresysteme sind heute in allen Bereichen des öffentlichen Lebens anzutreffen. Informationssysteme sind eine spezielle Art von Softwaresystemen. Wir beschäftigen uns mit dem Entwurf von Informationssystemen unter Verwendung eines objektorientierten Ansatzes. Da der Entwurfsprozeß schnell unübersichtlich wird, verwenden wir die Technik der Verfeinerung zur Strukturierung und Reduktion der Komplexität mit dem Ziel, den Grad der Wiederverwendbarkeit zu erhöhen. Der objektorientierte Ansatz erfordert es, sowohl die Struktur des beabsichtigten Systems als auch dessen Verhalten zu verfeinern. Unser Ansatz basiert auf einer temporalen Logik zur Formalisierung der Systemdynamik. Im Zusammenhang mit der Verfeinerungstechnik ergeben sich einige Probleme, die wir anhand von Beispielen erläutern. Ein Lösungsansatz wird intuitiv beschrieben.