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
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 KooperationEntwurf 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 VerifikationsystemZielspracheEvaluation 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 LernenEvaluationHypertextInformatikInvestitionsrechnungLernsoftwareLernumgebungEin 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 prototypingregelbasierterSoftwareentwicklungTestdatengeneratorMethodical 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 SubsystemTransaktionsmodellPrototypingorientierte 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