Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragContractual relationships in open source structures(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Schulz, CarstenThe article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different persons with different “functions” (developer, distributor, and user) can conclude contracts concerning various objects of agreement.
- KonferenzbeitragOpen source in industrial contexts – A living paradox?(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Niedermeier, Christoph; Schmid, Reiner; Seidel, WinfriedOpen Source Software (OSS) has been well established in industrial software processes during the last couple of years. However, as the combination of OSS and commercial software is considered ambiguous due to license compliancy problems by quite a few people, an investigation of the industrial demands regarding software architecture and processes as well as usage and release of commercial products that contain OSS or are built upon OSS is desperately needed. This paper aims at providing guidance to the technical management that is considering usage of OSS in their software or embedded products and is therefore focusing on architectural and process-related issues. In addition, the pros and cons of collaboration with Open Source (OS) communities are discussed.
- Konferenzbeitrag2nd Workshop on Open Source Software in an Industrial Environment (OSSIE'04)(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Wieland, Thomas
- KonferenzbeitragWorkshop – Informationstechnologie-Strategie für Entwicklungsländer am Beispiel Afghanistan(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Peroz, Nazir
- KonferenzbeitragC+++: User-defined operator symbols in C++(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Heinlein, ChristianThe paper presents the basic concepts of C+++, an extension of C++ allowing the programmer to define new operator symbols with user-defined priorities by specifying a partial precedence relationship. Furthermore, so-called flexary operators accepting any number of operands and operators with lazily evaluated operands are supported. The latter are particularly useful to implement new kinds of control structures.
- KonferenzbeitragModel checking Erlang programs – LTL-propositions and abstract interpretation(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Huch, FrankWe present an approach for the formal verification of Erlang programs using abstract interpretation and model checking. In previous work we defined a framework for the verification of Erlang programs using abstract interpretation and LTL model checking. The application of LTL model checking yields some problems in the verification of state propositions, because propositions are also abstracted in the framework. While state propositions must be satisfied, negated state propositions have to be refuted. We show how this can be decided by means of the abstract domain. The approach is implemented as a prototype and we are able to prove properties like mutual exclusion or the absence of deadlocks and lifelocks for some Erlang programs.
- KonferenzbeitragA formal correctness proof for code generation from SSA form in Isabelle/HOL(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Blech, Jan Olaf; Glesner, SabineOptimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is necessary to prove their correctness. We develop a formal semantics for static single assignment (SSA) intermediate representations and prove formally within the Isabelle/HOL theorem prover that a relatively simple form of code generation preserves the semantics of the transformed programs in SSA form. This formal correctness proof does not only verify the correctness of a certain class of code generation algorithms but also gives us a sufficient, easily checkable correctness criterion characterizing correct compilation results obtained from implementations (compilers) of these algorithms.
- KonferenzbeitragTransparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Sarstedt, Stefan; Raschke, Alexander; Kohlmeyer, JensInformationssysteme werden oftmals in einer Schichtenarchitektur realisiert, die Datenbankund Anwendungscode zur besseren Übersicht, Wartung und Verteilung trennt. Dennoch ist es nicht möglich, den Anwendungscode vollkommen frei von Datenbankaspekten zu halten, da oftmals auch die Synchronisation auf dieser Ebene erfolgen muss. Um eine vollständige Trennung von Synchronisation und Anwendungslogik zu erreichen – und damit die Logik übersichtlicher zu gestalten –, schlagen wir die Verwendung von Metadaten in Form von Attributen vor, mit deren Hilfe der Code annotiert wird. Ein entsprechendes Persistenz-Framework kann dadurch zur Laufzeit sein Verhalten anpassen und die geforderten Synchronisationsaufgaben übernehmen. Unser Ansatz wurde in einer umfangreicheren Anwendung validiert.
- KonferenzbeitragTestfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Lembeck, Christoph; Müller, Roger A.; Kuchen, HerbertDer Softwaretest wird heute als wichtiger Teil der Softwareentwicklung wahrgenommen. Da manuelles Testen teuer und unpräzise ist, werden verstärkt Werkzeuge zum Test-Management eingesetzt. Allerdings bleibt es dem Benutzer in der Re- gel selbst überlassen, die Testfälle zu erzeugen. Das Werkzeug, das wir in diesem Paper präsentieren, verwendet einen neuartigen Ansatz, um Testfälle zu vorgegebenen strukturellen Kriterien für einzelne oder mehrere Java-Methoden und Objekte zu produzieren. Dafür verwenden wir eine symbolische Java Virtual Machine, die passend zu den Kontrollflüssen in dem Programm Bedingungen generiert. Verzweigungen im Programm werden in Abhängigkeit von den aktuellen Kontrollfluss-Bedingungen, dem Testkriterium und der Verzweigungsstrategie gewählt. Der symbolischen virtuellen Maschine stehen (nicht-)lineare Constraint Solver (CS) zur Verfügung, die in einen CS Manager eingebettet sind. Dieser wählt dynamisch einen angemessenen CS aus und und bereitet die Constraints für die CS auf.
- KonferenzbeitragStatic analysis of the frequency of change(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Thiemann, PeterA frequency analysis assigns to each program value an upper bound on its change frequency. We define such an analysis and prove its correctness with respect to a denotational semantics of a tiny web programming language. We sketch its use for specializing web pages.