Wissenschaftliche Literaturdynamische systemeInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Die Integration formaler Methoden zur Spezifikation von Informationssystemen
Studien zur Datenbankforschung
Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikationVermittlung und Management von Diensten in offenen Systemen
Forschungsergebnisse zur Informatik
Die Arbeit beschreibt ein neues Systemkonzept zur Vermittlung und Verwaltung von Diensten in verteilten Systemen. Die Grundlage bildet ein Dienstmodell, welches Dienste als ein konfigurierbares System aus verteilten Komponenten auffasst. Der Dienst wird durch Kommunikation der beteiligten Systemkomponenten erbracht. Ein verteiltes System kann durch das Hinzufügen…
AktualitätsmanagementDienstvermittlungDynamische AnpassungInformatikManagementMobile AgentenOffener DienstmarktTradingVerteilte SystemeHäufige Schlagworte im Fachgebiet