Contents. The course covers formal and object-oriented methods for specifying information systems. For designing complex and distributed information systems we present a graphical and a textual languages, MTROLL and TROLL respectively, which were developed by the information systems group at the Technical University of Braunschweig, Germany. Besides language concepts, a methodology will be presented that facilitates their correct application. Methodology and language are developed along with a larger example. Theoretical foundations are presented in the theory part of the course, especially temporal logic on which TROLL is based. An emphasis here is on models for distribution and concurrency since TROLL has features for expressing distributed systems.