Journal: Inform., Forsch. Entwickl.

Volume 12, Issue 4

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

Volume 12, Issue 3

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

Volume 12, Issue 2

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

Volume 12, Issue 1

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