Guus Bosman

Yesterday I studied some more theory on Formal Methods, and today I started the practical work. I finished the first assignment, which is about analysing a very simple protocol. The picture here is a instantiation of a system where two 1-bit buffers are put in sequence.

Today I'm studying again, it's probably going to take another two weeks. The subject is more difficult than I thought, but interesting. Today I learned how to specify a clock:

Nice language :)

The last few days I've been waiting for an e-mail of my teacher, because the mark for my paper should be delivered before the 1st of September.

It's now official, the website of our university (the VU) is the worst of all university websites in the Netherlands.

At my parents now, we'll have dinner soon. It's really cosy here, and "the tourists" had a nice day today they told me.

I'm very happy my paper is ready and delivered (went to the VU to deliver a physical copy). I can focus on my internship now.

...As an attachment you'll find my paper for Human-Computer Interaction.
Title: Visual Programming, a promise for the future?...

I delivered it! The final version of my paper is also online, here as .pdf, here as PostScript.

At 15:00 o'clock I want to sent my paper to the teacher. Now working on the introduction -- Phillip pointed out that this the purpose of my paper wasn't very clear so I'm added some stuff on this.

Found a website on round-trip java programming, www.objectsbydesign.com, nice guys there; they let me use a screenshot from their website.

A new version of my paper on Human-Computer Interaction is online. It's almost ready, I'll only have to rewrite the introduction, fix some layout things and reread it one more time.

Found out something really scary: The backups I have been making the last week of my paper are all just links to my original paper. Meaning: if my original paper would have disappeared, so would have all my backups... You really can't trust Word, even when you're as paranoid as I am in making backup copies every few hours.

Yes! A fan! "...I read your paper, its really an interesting read." Thank you! First one not to consider it boring :)