Informatik - Forschung und Entwicklung, Band 15

Band 15, Heft 1, 2000

• Peter Geibel, Fritz Wysotzki:
  Graphbasierte Lernverfahren für relationale Daten. 1-15
  
• Juliane Vorndamme:
  Das Vorgehensmodell VIPSO: Berücksichtigung rechtlicher Einflüsse auf die SW-Entwicklung. 16-32
  
• Thilo Ernst, Clemens Klein-Robbenhaar, André Nordwig, Tobias Schrag:
  Modellierung und Simulation hybrider Systeme mit Smile. 33-50
  
• Hans-Jürgen Appelrath, Werner Damm, K.-H. Menke, Wolfgang Nebel, Wilfried Thoben:
  OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung. 51-61
  

Band 15, Heft 2, 2000

• Theo Härder, Udo Nink, Norbert Ritter:
  Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität. 67-82
  
• Christian Weidauer:
  Animations-Framework in Java, Systematische Animationsentwicklung mit Mehrschichtenarchitektur. 83-91
  
• Jürgen Sellentin:
  Konzepte und Techniken der Datenversorgung fuer Informationssysteme. 92-109
  
• Ulrich Geske, Hans-Joachim Goltz:
  Planungstechnik und Deklarative Programmierung. 110-113
  

Band 15, Heft 3, 2000

• Andreas Spillner, Peter Liggesmeyer:
  Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest. 119-120
  
• Mario Winter:
  Ein interaktionsbasiertes Modell fuer den objektorientierten Integrations- und Regressionstest. 121-132
  
• Dirk Meyerhoff, Michael Timpe, Dirk Huberty:
  Qualitäsziele und Testaufgaben im Internet. 133-139
  
• Monika Müllerburg:
  Validierung Software-intensiver eingebetteter Systeme. 140-150
  
• Joachim Wegener, Matthias Grochtmann:
  Evolutionärer Test von Realzeitsystemen. 151-160
  
• Steffen Skatulla, Ralf Schaarschmidt, Peter Pistor, Klaus Küspert:
  Entwurf und Implementierung eines SQL-normkonformen Datenbankkatalogs fuer ein relationales Datenbankmanagementsystem. 161-170
  

Band 15, Heft 4, 2000

• Gerti Kappel, Günter Müller, Franz Schober:
  Themenheft: Electronic Commerce - Editorial. 181
  
• Rüdiger Grimm, Peter Ochsenschläger:
  Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. 182-192
  
• Kai Rannenberg:
  Electronic Commerce und Mehrseitige Sicherheit: Baustellen, Fortschritte und Perspektiven. 193-206
  
• Wolfgang Theilmann, Kurt Rothermel:
  Effiziente Informationssuche im Internet mit Hilfe mobiler Programme. 207-214
  
• Judith Gebauer, Markus Raupp:
  Zwischenbetriebliche elektronische Katalogsysteme: Netzwerkstrategische Gestaltungsoptionen und Erfolgsfaktoren. 215-225
  
• Franz Schober:
  Forschungs- und Entwicklungsprojekte zum Thema "Electronic Commerce". 226-229