davidbu.ch

I can now officially call myself a doctor! My PhD thesis has been accepted by the University of Fribourg. You can read the abstract of my thesis on this page. If you want to read the whole thesis, i can send it to you in PDF format - please just drop me an Email.

(Together with Dominik Jungo)
AINA 2007, Niagara, Canada, May 21-23, 2007.
Abstract: Unit testing is a tool for assessing code quality. Unit tests check the correctness of code fragments like methods, loops and conditional statements. Usually, every code fragment is involved in different tests. We propose a classification of tests, depending on the tested features, which delivers a higher detailed feedback than unclassified tests. Unclassified tests only deliver a feedback whether they failed or succeeded. The detailed feedback from the classified tests help to do a better code quality assessment and can be incorporated in tools helping to improve code quality. We demonstrate the power of this approach doing unit tests on network configuration.

INOC 2007, Spa, Belgium, April 22-25, 2007.
Abstract: In this paper, we propose a role model to cope with the complexity of network configuration. Roles associate policy requirements as well as configuration templates with nodes in the network. One goal is to remove redundancy in configuration data to avoid inconsistent changes and diverging setup of similar devices. The other goal is to ensure that network policies are respected by the configuration.
This role model is embedded into the project Verified Network Configuration (Verinec). Together with
the Verinec XML network model, roles provide a powerful instrument to configure large networks.

I would like to announce simplEcard, a little script for electronic postcards I wrote. I wrote it because i wanted a simple system but one that is able to send HTML emails with the image embedded. Of course the email is multipart, so users without HTML mail also can read the message.

Please have a look at the simplEcard website

Google translate alleine kann da nicht schuld sein. Viel Spass beim lesen (Hervorhebungen durch mich).

Jafferson Assc (PDF)

(Together with Dominik Jungo)
WINSYS 2006, Portugal August 7-10, 2006.
Abstract: The type or class of an object is not always sufficient to decide on its runtime behaviour. In many cases, the
context of the object is also important. Environmental acquisition is a concept to handle context in information
models.
We explore the use of environmental acquisition for the management of computer network configuration and
for network simulation. Physical location or subnet membership are part of the environment for a computer
in a network. For the simulation of networks, environmental acquisition will be especially useful to model
mobile devices moving from one area into an other.
The concept is illustrated using the network configuration management project Verinec.

(Co-Authored)
MSVVEIS 2006, Cyprus May 23-24, 2006
Abstract: XML is a markup language with a clear hierarchical structure. Validating an XML document against a schema document is an important part in the work flow incorporating XML documents. Most approaches use grammar based schema languages. Grammar based schemas are well suited for the syntax definition of an XML document, but come to their limits when semantic properties are to be defined. This paper presents a rule based, first order schema language, complementary to grammar based schema languages, demonstrating its strength in defining semantic properties for an XML document.

-------------------------------------------------------------------------------

 #     # #     #   ###   #     #           #     #    #    ######   #####

 #     # ##    #    #     #   #            #  #  #   # #   #     # #     #

 #     # # #   #    #      # #             #  #  #  #   #  #     # #

 #     # #  #  #    #       #              #  #  # #     # ######   #####

 #     # #   # #    #      # #             #  #  # ####### #   #         #

 #     # #    ##    #     #   #            #  #  # #     # #    #  #     #

  #####  #     #   ###   #     #            ## ##  #     # #     #  #####



                              (Version 1.1)

Latex ist das Textsatzsystem für umfangreichere Arbeiten. Im Gegensatz zu Microsoft Word trennt das System zwischen Texterstellung und Layout. Der Text wird in einem beliebigen Texteditor geschrieben, ohne sich zu diesem Zeitpunkt von Layout ablenken zu lassen.
Das Layout nimmt anschliessend der Latex converter vor. Abbildungen werden automatisch platziert, nicht immer direkt im Text aber dafür hat man nicht mehr die ganzen Layoutpannen wie mit Word. Mit pdflatex kann man auch sehr schüne PDF's inklusive anklickbaren Links erstellen.

Folgender Text beweist mit Logik und einigen Berechnungen, dass es den Weihnachtsmann nicht geben kann. Sorry Kinder.

1. Keine bekannte Spezies der Gattung Rentier kann fliegen. ABER es gibt 300.000 Spezies von lebenden Organismen, die noch klassifiziert werden müssen, und obwohl es sich dabei hauptsächlich um Insekten und Bakterien handelt, schliesst dies nicht mit letzter Sicherheit fliegende Rentiere aus, die nur der Weihnachtsmann bisher gesehen hat.