My Life, My Universe, My Everything » Research

TDD and Formal Specification

Ralph — Tue, 29 Apr 2008 11:14:08 +0000

This is just a thought I want to keep: Investigate differences and similarities of Test Driven Development and Formal Specification. There is also a history of executable specifications – does this mean “tests”? Not sure I mix up a few things right now but I think it is worth to consider it a bit further. Also, recently Microsoft Research publishes more about SpecSharp (Spec#).

Robot cars will race in real traffic – tech – 03 October 2006 – New Scientist Tech

Ralph — Sun, 08 Oct 2006 08:51:43 +0000

Cool. Some might have followed the DARPA Grand Challenge last year. Now it will go into the next round by conquering the urban road, as reported in Robot cars will race in real traffic – tech – 03 October 2006 – New Scientist Tech. I find this interesting as we also work on such topics, e.g. Traffic Sign Recognition.

University Liaison

Ralph — Fri, 25 Nov 2005 18:49:42 +0000

Today our company invited the department of Computer Science at the Technical University Vienna to present current research topics and results as well as to discuss possible collaborations. I am curious about the result of this event.

In a workshop Alexander Schatten discussed issues of Agile Development of businesses as well as software and he mentioned the following quote:

Die Krisis des Wissens wird, wie gesagt, kognitiv getrieben von der neuen Relevanz des Nichtwissens, und sie wird operativ davon getrieben, dass es nun darum geht, die richtigen Fehler schneller zu machen als die Wettbewerber, um Lernprozesse zu intensivieren, die im Kern darin bestehen, Expertise im Umgang mit Nichtwissen zu entwickeln.¹

in English:

The crisis of knowledge ist cognitively driven by the new relevance of nescience. Operationally it is driven by the necessity to make the right mistakes faster than the competitors to intensivate learning processes, what means developing expertise in handling nescience.

Knowledge management typically deals with the knowledge of an organisation but I like the idea of managing what we do not know better. However, wow do we know that a particular topic, technology, etc. will be relevant in the future? A company basically only invests in knowledge it can utilise later.

¹ Willke Helmut. Dystopia, Studien zur Krisis des Wissens in der modernen Gesellschaft. Suhrkamp Taschenbuch Wissenschaft, Erste Auflage, 2002

Research Pages

Ralph — Wed, 02 Nov 2005 20:40:42 +0000

Hello,

I created a few new pages detailing my previous research. They contain a short description of the research I conducted at the University of Kent as well as abstracts of my publications and PhD dissertation. In my research I was mainly concerned with Handling Inconsistency and Underdefinedness in Z Specifications using Paraconsistency and multi-valued logics.

Best,
Ralph