Softwareentwicklung
Wissenschaftliche Fachliteratur
Falls bei Ihnen die Veröffentlichung der Dissertation ansteht, kontaktieren Sie uns gern.
Carolina Oberhem
Vertrags- und Haftungsfragen beim Vertrieb von Open-Source-Software
Die umfangreiche Darstellung der technischen Grundlagen zu Beginn der Studie ermöglicht auch dem fachfremden interessierten Leser den Einstieg in die Materie.
"Open-Source" in der Softwareentwicklung, d.h. die Weitergabe von Software in Verbindung mit der Offenlegung des Quellcodes und dem Recht zur Weiterverarbeitung, ist heute […]
Daniel Lübke
An Integrated Approach for Generation in SOA Projects
Forschungsergebnisse der Programmentwicklung
Service-Orientierte Architekturen (SOA) sind ein mittlerweile akzeptierter Architekturstil für Geschäftsanwendungen und gesamte Anwendungslandschaften. Bei Entwicklung von Software gemäß SOA-Prinzipien wird in der Literatur und Wissenschaft jedoch oftmals die Wirtschaftsinformatik-Sichtweise eingenommen und dabei die Software-Engineering-Seite […]
Björn Filbrich
Flexibles Controlling der Informationsverarbeitung unter Berücksichtigung des Realoptionsansatzes
Schriften zum Betrieblichen Rechnungswesen und Controlling
Investitionen und laufende Ausgaben für Informations- und Kommunikationstechnologie sind für eine Vielzahl von Unternehmen ein bedeutender Budgetposten. Durchschnittlich betragen die Ausgaben für diesen Bereich weltweit vier Prozent des Umsatzes, wobei eine Reduktion der Budgets für Informationstechnologie und Informationsverarbeitung zu […]
Stefan Hund
Planpublizität als zentrales Element alternativer Rechnungslegungsparadigmen
Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis
Die Vorfälle bei WorldCom, ENRON und Parmalat haben die Kapitalmärkte erschüttert und damit den Investoren und der Öffentlichkeit vor Augen geführt, wie trügerisch unsere traditionelle Rechnungslegung ist und seit jeher war.
Stefan Hund versucht nicht nur, das bestehende Modell zu kritisieren, sondern weiterhin die Schwächen des […]
Jö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 Beurteilung des Systemverhaltens das […]
Jan-Juan Hiemer
Statecharts in CSP
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts
Forschungsergebnisse zur Informatik
Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker […]
Jörn Mordau
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 […]
Wolfram Amme
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Forschungsergebnisse zur Informatik
Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf Reihungsoperanden und Schleifen […]
Oscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Forschungsergebnisse zur Informatik
Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer Spezifikation beweisen. Es gibt […]