My Life, My Universe, My Everything

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. [...]

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, [...]

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 [...]

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 [...]