Informatik - Forschung und Entwicklung, Band 12

Band 12, Heft 1, 1997

Rudolf Kruse, Frank Klawonn, Detlef Nauck: Erlerner von Fuzzy-Regeln. 2-6
Thomas Heckenthaler, Sebastian Engell: Ein Verfahren zur Auslegung schneller Fuzzy-Regelungen. 7-13
Mihiar Ayoubi: Das dynamische Perzeptronmodell zur experimentellen Modellbildung nichtlinearer Prozesse. 14-22
Hans Hellendoorn, Rudolf Seising, Werner Metternich, Matthias Nissel, Christoph Thomas: Verkehrslastregelung in ATM-Netzwerken mit Fuzzy-Methoden. 23-29
Margit Sturm, Ulf Pietruschka: Verallgemeinerte Radiale Basisfunktionen zur Approximation höherdimensionaler Funktionen. 30-37
Dieter W. Fellner: DFG Schwerpunktprogramm. 38-42

Wolfgang Deiters: Prozeßmodelle als Grundlage für ein systematisches Management von Geschäftsprozessen. 52-60
Gerhard Weikum, Dirk Wodtke, Angelika Kotz Dittrich, Peter Muth, Jeanine Weißenfels: Spezifikation, Verifikation und verteilte Ausführung von Workflows in MENTOR. 61-71
Stefan Jablonski: Architektur von Workflow-Management-Systemen. 72-81
Frank Leymann: Transaktionsunterstützung für Workflows. 82-90
Norbert Ritter, Bernhard Mitschang: Die Assistenzfuntion kooperativer Designflows - verdeutlicht am Beispiel von CONCORD. 91-100
Erhard Rahm: Informatikforschung and der Universität Leipzig. 101-108

Otto Rauh: Auf der Suche nach Verkettungen in Entity-Relationship-Schemata. 117-127
Frank Steinfath, Brigitta Lange, Klaus Böhm: 3D-graphische Werkzeuge zur Analyse komplexer CSP-basierter Modelle. 128-142
Dennis Dingeldein, Björn Helfesrieder, Roland Holzapfel, Klaus Böhm: Beispiele multimedialer Online-Kommunikation in Unternehmen. 143-150
Gertraud Hoffmann, Jochen Pattloch, Sibylle Schweizer, Klaus Ullmann: Konzipierung und Realisierung des Breitband-Wissenschaftnetzes des DFN-Vereins. 151-156
Manfred Broy, Stefan Jähnichen: KORSO - Korrekte Software durch formale Methoden. 157-160

Themenheft: Softwaretechnik

Klaus Achatz, Wolfram Schulte: Formale objektorientierte Softwareentwicklung mit Fox. 174-185
Arne Frick, Rainer Neumann, Wolf Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien. 186-195
Dirk Platz, Udo Kelter: Konsistenzerhaltung von Fensterinhalten in Software-Entwicklungsumgebungen. 196-205
Stefan Poledna, T. Mocken, J. Schiemann: Prozessorzuteilungsstrategie und Interprozeßkommunikation in ERCOS, einem Echtzeitbetriebssystem für Automobilanwendungen. 206-219
Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt: DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. 220-223
Günter Elst, Karl-Heinz Diener: Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen. 224-229