46 Bücher 

Wissenschaftliche LiteraturSoftwareInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Kooperative Informationsagenten im Internet (Forschungsarbeit)

Kooperative Informationsagenten im Internet

Forschungsergebnisse zur Informatik

Die Arbeit liefert einen Ansatz für eine rational kooperative Informationssuche in einer Menge von heterogenen und autonomen Datenbanken. Dabei werden erstmals Methoden aus den verschiedenen Forschungsgebieten der verteilten künstlichen Intelligenz, der terminologischen Wissensrepräsentation und der…

DatenbankenFCSIInferenzInformatikInformationsagentenInformationssucheIntelligente SoftwareagentenInterdatenbankabhängigkeitInternetKooperationKooperative InformationssystemeRationale Kooperation
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die…

InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielsprache
Evaluation hypertextbasierter Lernumgebungen (Forschungsarbeit)

Evaluation hypertextbasierter Lernumgebungen

Anforderungsanalyse, theoretisches Modell und exemplarische Umsetzung

Studien zur Wirtschaftsinformatik

Moderne Informations- und Kommunikationstechnologien verändern in Kombination mit neuen lern- und motivationstheoretischen Erkenntnissen immer stärker die Praxis des Lernens. Traditionelle Formen der Wissensvermittlung werden durch computer- und telekommunikationsunterstützte Formen unterstützt und teilweise sogar…

computerunterstützes LernenEvaluationHypertextInformatikInvestitionsrechnungLernsoftwareLernumgebung
Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen (Forschungsarbeit)

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

Studien zur Datenbankforschung

Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch…

Datenbankexploratives PrototypingInformatikrapid prototypingregelbasierterSoftwareentwicklungTestdatengenerator
Methodical Construction of Database Management Systems (Forschungsarbeit)

Methodical Construction of Database Management Systems

Studien zur Datenbankforschung

Datenbankverwaltungssysteme (DBVSe) spielen eine immer größere Rolle in der Datenverarbeitung von Organisationen. Sie dringen in immer neue Bereiche vor, und ihre Funktionalität wird zunehmend erweitert. Angesichts der deshalb "großen" Anzahl zu realisierender DBVSe ist es ein dringendes Problem, ihre Konstruktion…

Broker Services-ModellDatabase Management SystemDatenbankverwaltungssystemDBMSDBVSInformatikobjektorientierte SoftwarekonstruktionTransaction Management SubsystemTransaktionsmodell
Prototypingorientierte Systemspezifikation (Forschungsarbeit)

Prototypingorientierte Systemspezifikation

Konzepte, Methoden, Werkzeuge und Konsequenzen

Forschungsergebnisse der Programmentwicklung

Die Ermittlung, Beschreibung und Analyse der Anforderungen an Softwaresysteme ist aufwendig und fehleranfällig, die Kommunikation zwischen Entwicklern und Benutzern ist oft ungenügend und häufig wird das Falsche spezifiziert. Es wird gezeigt, dass mit Prototyping ein wesentlicher Beitrag zur Lösung dieser Probleme…

BenutzerschnittstelleEditorInformatikPrototypenPrototypingProzeduraufrufeSoftwaresystemeSystemspezifikationUICTUser Interface Construction Tool