University, Diss., 2004--Bonn.

Einführung in die Script- und eingebettete Sprache Tcl/Tk. Einsatzmöglichkeiten als Scriptsprache, bei Internetanwendungen und zur Erstellung graphischer Programmoberflächen.

Gemeinsamer Workshop von Universitaetsrechenzentrum und Professur Rechnernetze und verteilte Systeme der Fakultaet fuer Informatik der TU Chemnitz. Der Vortrag stellt wxWindows und wxPython als Lösung zur Entwicklung plattformunabhängiger Software mit graphischer Benutzerschnittstelle vor.

1 Einleitung, 2 Formale Theorien für Programmiersprachen, 3 HOARE-Logik für while-Programme, 4 Ausblick

pyAXL ist eine Programmierschnittstelle (API) zur Steuerung des "Cisco Call Manager", eine enterprise-VoIP-Verwaltung. Der Vortrag zeigt, wie pyAXL aufgebaut ist. An ein paar Beispielen wird die Verwendung von pyAXL demonstriert.

Die Zope Object Database, kurz ZODB, ist eine Open-Source-Datenbank für Python. Im Gegensatz zu den meisten relationalen Datenbanken verfügt die ZODB allerdings nicht über eine Anfragesprache zur gezielten Selektion von Objekten. <br /> Aufgabe dieser Diplomarbeit ist es, effiziente Ad-Hoc-Anfragemöglichkeiten zu evaluieren und eine geeignete als Zusatzprodukt in Python zu implementieren. <br /> Folgende Themen sind zu bearbeiten: <ul> <li>Vergleich und Auswahl einer Anfragesprache für Objektgraphen</li> <li>Auswahl von Indexstrukturen zur Unterstützung der gewählten Anfragesprache</li> <li>Implementation eines Zusatzprodukts zur ZODB, die eine Anfragesprache sowie unterstützende Indizes bereitstellt</li> <li>Testen und Bewerten der Implementierung</li> </ul>

Konstanz, FH, Diplomarb., 2003.

Universiẗat, Diss., 2003--Saarbrücken. / Lizenzpflichtig.

Im Unix-Umfeld existieren zahlreiche Kommandointerpreter (Shells) unterschiedlichen Leistungsvermögens. Die Bourne-Again-Shell (bash) vereinigt die Fähigkeiten zahlreicher alternativer Shellimplementierungen und hat sich seit langem im Umfeld der freien Software etabliert. Obwohl erste Implementierungen der Version 2 bereits aus dem Jahr 1996 stammen, löst sie erst in den neueren Linux-Distributionen die Version 1.14 ab. Im Einzelnen geht es um: - Ausgewählte Fähigkeiten der bash - Neuerungen der bash, Version 2 - Die bash aus Sicht der Systemadministration

High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of the action formalism underlying Golog (situation calculus), the verification problem for Golog programs is in general undecidable. Action formalisms based on Description Logic (DL) try to achieve decidability of inference problems such as the projection problem by restricting the expressiveness of the underlying base logic. However, until now these formalisms have not been used within Golog programs. In the present paper, we introduce a variant of Golog where basic actions are defined using such a DL-based formalism, and show that the verification problem for such programs is decidable. This improves on our previous work on verifying properties of infinite sequences of DL actions in that it considers (finite and infinite) sequences of DL actions that correspond to (terminating and non-terminating) runs of a Golog program rather than just infinite sequences accepted by a Büchi automaton abstracting the program.