In: Grundlagen für die Zukunft: 20 Jahre wissenschaftlich-technische Zusammenarbeit zwischen der Bundesrepublik Deutschland und der Föderativen Republik Brasilien, pages 339-354. Jülich, Germany: Forschungszentrum, Internationales Büro, May 1991. In German.
Abstract: Der thematische und theoretische Hintergrund des Kooperationsabkommens FORTIS (Formal Techniques for the Specification and Analysis of Information Systems) wird vorgestellt: Informationssysteme --- gesehen als organisatorisch-technische Einrichtungen, deren inneres und äuÑeres Verhalten auf dem geregelten Umgang mit Information beruht --- bilden den Ausgangspunkt der Darstellung. Nach einer formalen Beschreibung solcher Systeme auf der Grundlage der Netztheorie wird dann an einem einfachen Beispiel die Modellierung statischer und dynamischer Systemeigenschaften veranschaulicht.
Keywords: specification (and) analysis (of) information system; static (and) dynamic system properties.