Wissenschaftliche LiteraturSoftware
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Thomas Kühne
A Functional Pattern System for Object-Oriented Design
Forschungsergebnisse zur Informatik
This book integrates the vital areas of object-orientation, functional programming, design patterns, and language design. The most important concepts from functional programming are captured with six design patterns:
FUNCTION OBJECTS (Black-box behaviour parameterisation) LAZY OBJECTS…Design patternEiffelFunctional patternFunctional programmingInformatikLanguage designObject-orientedParadigm integrationSoftware designThomas Burkhard Sachs, Conrad Sachs (Bearbeiter)
Neues Lernen mit neuen Mitteln
3. Tagung der DGTB in Ludwigsfelde vom 28.10. bis 30.10.1999
EUB. Erziehung – Unterricht – Bildung
Der Tagungsband informiert in 16 Beiträgen über die Ergebnisse einer Tagung der Deutschen Gesellschaft für Technische Bildung e. V., in der die Frage im Mittelpunkt stand, wie und wann die neuen Medien pädagogisch sinnvoll im Technikunterricht eingesetzt werden können. Durch die enge Beziehung zum realen…
BildungComputersimulationComputerunterstütztes LernenDigitalisierungE-LearningFachraumgestaltungInternetInternetlernenLeiterplattenentwurfLernsoftwarePädagogikTechnikunterrichtTechnische BildungThomas Pálffy
Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf
Studien zur Wirtschaftsinformatik
In seiner Studie zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann.
Die Hauptschwierigkeit bei der Sicherung der Qualität betrieblicher Software liegt in der Komplexität der entwickelten Informationssysteme. Die Vielzahl der Teilaspekte und ihrer…
Betrieblicher Software-EntwurfInformatikInformationssystemQualitätssicherungSchnittstellenanalyseSEBISSoftware-EntwicklungsumgebungTransparenzJoachim Hans Fröhlich
Hypothesengesteuerte Analyse von Objektarchitekturen
Forschungsergebnisse der Programmentwicklung
Die objektorientierte Programmierung hat das Potential zur Steigerung der Softwarequalität und der Entwicklungsproduktivität. Die Analyse eines objektorientierten Programms ist jedoch auch bei übersichtlicher Klassenhierarchie schwierig. Ein wesentlicher Grund für diese Schwierigkeiten ist der Unterschied zwischen…
C++hypothesengesteuerte AnalyseInformatikOASEObjektarchitekturobjektorientierte ProgrammierungProgrammanalyseSoftware EngineeringJörg Lange
Modellierung graphenorientierter Transportprozesse mit Komplexbewertung
ein tallboxgestützter Ansatz
Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis
Sowohl Gütertransporte als auch Datenübertragungsprozesse können auf Basis von Graphen in einem einheitlichen Modell dargestellt werden. Durch diese Verallgemeinerung können einmal formulierte Algorithmen sowohl auf Datenübertragungsprozesse als auch auf Gütertransporte angewendet werden. Güter- wie auch…
DatenübertragungGraphentheorieGütertransportInformatikLogistikmathematische BeschreibungSoftwareToolboxTransportMatthias Klusch
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 KooperationMarion Kremer
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 VerifikationsystemZielspracheSilvia Brink
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 LernenEvaluationHypertextInformatikInvestitionsrechnungLernsoftwareLernumgebungJörg Röhrle
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 prototypingregelbasierterSoftwareentwicklungTestdatengeneratorAndreas Geppert
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